Accepted coq-gappa 1.7.1-1 (source amd64) into experimental

-----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-----