-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 10 Jul 2026 17:47:43 +0200 Source: coq-gappa Binary: libcoq-gappa Architecture: source amd64 Version: 1.10.0-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Description: libcoq-gappa - Coq tactic to use Gappa for floating-point goals Changes: coq-gappa (1.10.0-1) experimental; urgency=medium . * Rewrite d/watch. * Bump standards-version to 4.7.4. * New upstream release. Checksums-Sha1: 3c1a0246a02118e1a4a998c6997aee80b967b074 2111 coq-gappa_1.10.0-1.dsc df89e83afed7aa789336b04bb54fd36912e85ed8 91600 coq-gappa_1.10.0.orig.tar.gz 4da51f7be536bbd2599bc05d8ec4c8f77bb0e8f5 2280 coq-gappa_1.10.0-1.debian.tar.xz 19204a4757e5f1d8928e402628402d0f7dc6d345 7467 coq-gappa_1.10.0-1_amd64.buildinfo b2aa139ed9658aaffef130643170e67a176373c1 607828 libcoq-gappa_1.10.0-1_amd64.deb Checksums-Sha256: 18d532d458ebe9c72c38b906b0b53b6629b5f1e2d580485b04ec41b24e37c00b 2111 coq-gappa_1.10.0-1.dsc 4b709dffd10f50673abe3627f1c69c1b05e54b2831c1a700ad4b213245d915dc 91600 coq-gappa_1.10.0.orig.tar.gz 3f64cbf2958ae7a2217fcff3e99255bba9fafc3aa4b5be706c2933770fe226bc 2280 coq-gappa_1.10.0-1.debian.tar.xz ae92d83685e47eaaaeedf1eda90c71c7e535c74a0fe388b9d9542e2cffabcf6b 7467 coq-gappa_1.10.0-1_amd64.buildinfo d862b7cd15c2b5ee21033dfe6bf4a1f43ab2b944ebbe90ccd748e6d41c318acb 607828 libcoq-gappa_1.10.0-1_amd64.deb Files: a3337bd428b49663c90ab11e1ca9d1a0 2111 math optional coq-gappa_1.10.0-1.dsc aa8ac95f156180444b97d91e3f2e3275 91600 math optional coq-gappa_1.10.0.orig.tar.gz a6981a54963a162ccdc796f3fa567027 2280 math optional coq-gappa_1.10.0-1.debian.tar.xz bb9defba99ff8e1a441f6f995b99bfc8 7467 math optional coq-gappa_1.10.0-1_amd64.buildinfo 1329c26c6d7da77693f7421669e71a7b 607828 math optional libcoq-gappa_1.10.0-1_amd64.deb
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpRFosZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUemlD/4kja7jE+m+lNg/SYEaPvJL UutZk6DnaOw0h7qRpn8/9oPEv723Q2YML4+8zpDWJAPm6d0kFFSYVrVK3mqZl8/8 P+NVa2zutEq8lVb7BbWDOJjutLXaVio2C4c4P6Ad7b7f2s7jMrH1wOrgosqKWz+u wfm5uktjMCWNzv6VmFnOT2RSdLagWpbmhDkn1hJINcd+0cHlNsR4RQIiv4wCqSjV dGS+9jZvKPGv5yDiunzF3sgsKJhOmAd8AWMVwCeBi5tLJbJO+wW0uPIBpQkiE0jO qbVh4RvhleMQ+tn9UFlPzhDDu4m2dPkEf8Owk2IHuFnTxCxqH23x3jQvOWyk4YjH h7ylKZYZyurd+ZlqOG4iDK9mBpkuo248sLEv6CB4fFBh3rBVJKVpsFzUTnLtsyv/ o/XWKN3gcFLZpI6aoQ+vqBeygTCPQaxgl1I0FR8c39YjynaA/7sCdYruZtXztXCG Lnu8MSGcX77SbOnKlwvQ/r8sHd+KM/Odb2BIoKcNywewfJCymdJ28uL7wJ3uFYSt FbPHOC5AbgyBIp12lv2D+P8zF0WOz78k/Fe/iiP1Rct7S75Akx8j2qTh41hq+61Y oPsmRwEDd4wleIB2V+miwCPWNK0u5iFVG1AiYjaX9OWO5grpMnEdR1QfBVxomLk6 YcPegHchd3WF5Y7wpY9Ljg== =E/5q -----END PGP SIGNATURE-----
pgpNEbRg4u11f.pgp
Description: PGP signature
