-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 03 Aug 2026 16:04:45 +0200 Source: coq-gappa Binary: libcoq-gappa Architecture: source amd64 Version: 1.10.0-3 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-3) unstable; urgency=medium . * Make autopkgtest allow warnings. Checksums-Sha1: 48fa1a8ba3be1ff4062ec98a3c8a1b2a0338805a 2111 coq-gappa_1.10.0-3.dsc df89e83afed7aa789336b04bb54fd36912e85ed8 91600 coq-gappa_1.10.0.orig.tar.gz bf8655eb48349be761d178d3b3bfc9b9479ddb4b 3588 coq-gappa_1.10.0-3.debian.tar.xz 9781bf9bef4aa677390fea2675f895fa5bb1c02e 6937 coq-gappa_1.10.0-3_amd64.buildinfo 29dce79d6e62a20497161fb423965823458054bd 608224 libcoq-gappa_1.10.0-3_amd64.deb Checksums-Sha256: 7039a2c236e4574093a22a9541f391bebeceaef6533ed24e7af16a0dea18c912 2111 coq-gappa_1.10.0-3.dsc 4b709dffd10f50673abe3627f1c69c1b05e54b2831c1a700ad4b213245d915dc 91600 coq-gappa_1.10.0.orig.tar.gz de9941f264fadca765e6bc8a80beeba71a68ae789315a822ffcc9862e32c96cf 3588 coq-gappa_1.10.0-3.debian.tar.xz 239432fd26f6277b9dcdce4bb0963f6cee46a587b3fc7d0c2ffcbaf0eb309e85 6937 coq-gappa_1.10.0-3_amd64.buildinfo a3a4e4017269a30c2d134519746d5a2becff6197025e6f41bc30dc59d5527577 608224 libcoq-gappa_1.10.0-3_amd64.deb Files: 869187703c044f7db110ee035b11bc11 2111 math optional coq-gappa_1.10.0-3.dsc aa8ac95f156180444b97d91e3f2e3275 91600 math optional coq-gappa_1.10.0.orig.tar.gz 57e94a1c87218e529050aa3ea8c0534e 3588 math optional coq-gappa_1.10.0-3.debian.tar.xz ddc926decf6b5a67a3a7c10044ce411e 6937 math optional coq-gappa_1.10.0-3_amd64.buildinfo 8bd3d0b7e48a138a303ca8b5220ba390 608224 math optional libcoq-gappa_1.10.0-3_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpwoLUZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUbGOD/9i4oPMD1SQSqEFAqmpPM7B niSGxvCafQi9+Po4G7mk0Vf4+onc8zBd65eDIPkcmrb4vKcJw9ZfHkf+XIhL8V89 Titjsa9jRF2MtPF21HxHxfdtkuKjI29I2p/Efu+8uOK/+Dl832Q/4FE6+Kc0P3cA /CAIxiQ0H+T/f734KhaykfN3i9sLGr7ejD0pcV9PTRh5T45wkrIEXQL665n1OpGy 2gLgMPnJg6aJW+jEJK6s9YWXlwTJr71+3oO4+hME7T3ezuW1lzipf2cW3sutnrHJ SarXrb/tdJpdjb1p0Uastr9Vxqm1cYmfJvp4aff8fCrGn674u8+QEevQgcH8RTYk ufpCQg5S6B7jaMAEIert/wELKQcL08L9aPrqNlZqqJ98wJwjZJfwkgxRUsQQm1y7 tSZJHC0aw1XayLu4LQfIQ4WW+jQMw6vpKfgoSFhfZsD3RMNuKQ9CmsgUqxdwsJln RV5ibLj2I+N7X99oOwxVvReEU7X9AUgXPuR0cECnma2lrvEslGAP/dlSWFFwKaQW gRBbeWaIr787xJJjPcibewP2zNuzIZx6u4sZHKbbpc85NlkKmDhcPgr49Fv9FYVn A5f1B7CpyHbNc8duC7OpZbANuA718cdGl0gZGhCsrfA3EafQcQJspEa/iEQ0c49U VZGsJFdOYNx9hP+Z7Rsx9g== =aRPd -----END PGP SIGNATURE-----
