Accepted coq-gappa 1.10.0-3 (source amd64) into unstable

Debian FTP Masters <[email protected]> Mon, 03 Aug 2026 14:30:56 +0000
Newsgroups	gmane.linux.debian.devel.changes.unstable
Message-ID	<[email protected]>
-----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 <[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-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-----
signature.asc (application/pgp-signature, 228 B)