-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 29 Oct 2025 09:48:48 +0100 Source: coq-gappa Binary: libcoq-gappa Architecture: source amd64 Version: 1.7.1-1 Distribution: experimental 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.7.1-1) experimental; urgency=medium . * New upstream release. * Bump standards-version to 4.7.2. * Drop useless dbgsym package. Checksums-Sha1: 03c1aa9bc3737697c6f7618cf8b390178cde1bd0 2100 coq-gappa_1.7.1-1.dsc f07146aacbbcf8b2a8dd1c15db63350417d1dc1a 76292 coq-gappa_1.7.1.orig.tar.bz2 c42c29d7e55e3a32aea1b2b41c750c97eba675ae 2296 coq-gappa_1.7.1-1.debian.tar.xz 536da61d864300d5342a264e0da74fec79cef724 6866 coq-gappa_1.7.1-1_amd64.buildinfo 5ebfe5e25dc33aca3505fb9b729862b9aadd4df6 556648 libcoq-gappa_1.7.1-1_amd64.deb Checksums-Sha256: 8cc882bb8833bdb30d8ead3c64b7de4d51a4d66208aa4606bc4c04e639528cc7 2100 coq-gappa_1.7.1-1.dsc 648d3c62dd189605765ece97a65dd0f96a5cbb1f288e5918d96951f68070f2d4 76292 coq-gappa_1.7.1.orig.tar.bz2 0ba7b376f6e500f53e41509381f3f617f53d9b8d63caed20b9825b8507cd6137 2296 coq-gappa_1.7.1-1.debian.tar.xz e04347d8cc5ac97db2b625ed93c8941bb0bd133fd6caacc7fb56975c45996622 6866 coq-gappa_1.7.1-1_amd64.buildinfo 835dacb4bf38f11be9fc6921c752f563edd5e014aa9525afc5523ffcddedf161 556648 libcoq-gappa_1.7.1-1_amd64.deb Files: 89f1f574000df25d08030a493f9061bc 2100 math optional coq-gappa_1.7.1-1.dsc 1c41b33c5fb5332812233cf5beaa25ac 76292 math optional coq-gappa_1.7.1.orig.tar.bz2 17fa0575627b1193e1e2fef9ab741746 2296 math optional coq-gappa_1.7.1-1.debian.tar.xz ee1c60d051497439b2209031aae470d0 6866 math optional coq-gappa_1.7.1-1_amd64.buildinfo 994c10b37ee863439653375070950764 556648 math optional libcoq-gappa_1.7.1-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkB2SQZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUa86D/4lgVQnx2H2wPw7er89mhQr lF89AKrYGkkM0bvHXFwvDV6SCS5pkivTusSFzQkF2wTHv046ZAwNe9APpR8TLlXW LQeXn4eoqX2/7W8LbHKhAMYSxR29R9hcZB0flg5Yd5HqqMMsvHzttY6wI+M5mi+J gxckc+ixSCBf0f45jMMoxrHX8pFxR2GEiTYHA/1s5v8HNUnXS4Fe5dQ6nLGQbCij LYJ4cY0cYv74r4p/zwtFqm/HoGJBNn2JrVQS66c6pJmnb6GxNzQTsYR67TBvDgEc CXV0wAU1SDMQF2B93MDCWeDkSVoAEp5NVYI86LLmwmp5prw1igSFV72cgw9ovQnw RxIUl2woQ8q/esvhatWXvriTKWIOYcabuarXkv5ZbhBVfYKFuI9F8+FejsUvs9hW w1zmZM+XicEZ0FZEO2D5uioag5BN7PF/SV3YmaJ6Zh/8RjgVR10KdsXEJQfgAera x58nfIoo40C2hDNLUDf3Ev0M0eGjqfI91+2tiS7swvpeTqX6OSLN3FEaf7UZct1Q vBiKpyz8qFT5oXov/NKe6SPouSoWyazLGoKfRWT4I0lzcwbBWYlMrqBp3ODnkdra Tx/V3nD1dn0QQqe3hMzKp2SkP5ngcdMNWK0cxsVDY7XuE35dv9h/NkDtmDTz6Mox yGe+hfJAP1onZpLbNMyF2w== =+2Tb -----END PGP SIGNATURE-----
Attachment:
pgp8Gd3GXv6bP.pgp
Description: PGP signature