-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 28 Jul 2026 14:54:42 +0200 Source: coq-gappa Binary: libcoq-gappa Architecture: source amd64 Version: 1.10.0-2 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-gappa - Coq tactic to use Gappa for floating-point goals Changes: coq-gappa (1.10.0-2) unstable; urgency=medium . * Fix compilation with recent Coq/Rocq. Checksums-Sha1: 3373a3ea4f84f8f67ac128ddde70c0a86be4cd31 2111 coq-gappa_1.10.0-2.dsc df89e83afed7aa789336b04bb54fd36912e85ed8 91600 coq-gappa_1.10.0.orig.tar.gz adac80e02d025beaaf4161200c11a0e229e4ba5f 3540 coq-gappa_1.10.0-2.debian.tar.xz 3e0f0e699a27159393ea449f8459d30c0f65cb34 6988 coq-gappa_1.10.0-2_amd64.buildinfo 65ec887c4109ca7b6ac3b7e5751b6d177d9ce71d 608076 libcoq-gappa_1.10.0-2_amd64.deb Checksums-Sha256: 0a28839de08d6dc132e41474b7ec07223ff7713a28a66560821147ec4327506b 2111 coq-gappa_1.10.0-2.dsc 4b709dffd10f50673abe3627f1c69c1b05e54b2831c1a700ad4b213245d915dc 91600 coq-gappa_1.10.0.orig.tar.gz 9eb4ddb97a8e6d04ee7d0cd6fea4c636564737d85f0fe1eb648515e81a4574dd 3540 coq-gappa_1.10.0-2.debian.tar.xz 293ed6ec6f2093d903952f543996c3aecd0cb82a13585614e10d0b5ad9d6de0a 6988 coq-gappa_1.10.0-2_amd64.buildinfo 248185fc1f4e87198f16659fa3a2f9c7021b03ad8124051a0bab81b710a380fa 608076 libcoq-gappa_1.10.0-2_amd64.deb Files: 72c69ef401963402f6f1caaaa1778f84 2111 math optional coq-gappa_1.10.0-2.dsc aa8ac95f156180444b97d91e3f2e3275 91600 math optional coq-gappa_1.10.0.orig.tar.gz b33db0924417e69ba0c8818cda755842 3540 math optional coq-gappa_1.10.0-2.debian.tar.xz 7e2965407eb4413e48d5b2824d0195d4 6988 math optional coq-gappa_1.10.0-2_amd64.buildinfo 51b76e625439b15ff6788d85d804374a 608076 math optional libcoq-gappa_1.10.0-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpo1NUZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUVVREAChmpyHzhKFcRnZxV9MjmoL Qd0fbQUks62hdxDaW10Q0YM8vVYQ/0QfEJdSJYujjXALpQyGY1aq5WW24VP0yrI7 TVmkbsqZBAihaucxxmO7R918oXKoC83QfNEp3AwQr/FsJz9eA+opJ6u/6A0PSAqi ods1iXXaKRJw1idxDDowqeZdJrBiatH5IuQ8Wo6EC538TfTzH5UBV9q61xEfhAMt lkxIpqN6i/DIcpW2G82PdV6CPFYq17fvNwoHmsRJHr1BVDIoUUTKlIN9xwZSNDCg 6zgLQHfjqDUfcZ7ukRz4CRE9aSvRk9BhD25zdtrfsO3ZOQcbOv/0XUqThgUPC9Gu iBWYZncR8UCz+59nC74GlyyhzXBdCrNBpu3jYGnamASxyLqkAdT79f0pKIvIChwi zdqRZMsYYZjg7ydHzUDQVU+7JTyZdl0iRxA+DLGOTKU1S7VoanGJeosCFAlLL9wa HjVh88UHdxEGDFrXM5kFJE450cXsi8IPIKZFlNvQuvwvnpvujifUW5yY/8z14rgr QWXOSSxdE1CZw34yxQWihZ9mbJAGskHdW/lWfwK0MPGsuSa4H28qo39Z6+fezAqr ID90DnFLT7aZeL9FZbQ3zPBuJsNoY9ZvPc6zF26hv1vswh2TsqrZqpBJ2/aKOxB/ 7sKLVNvqbFsbVu29lleNAg== =mRtM -----END PGP SIGNATURE-----
