-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 03 Aug 2026 18:58:05 +0200 Source: coq-gappa Binary: libcoq-gappa Architecture: source amd64 Version: 1.10.0-4 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-4) unstable; urgency=medium . * Upstream requires a native OCaml compiler. Checksums-Sha1: 9fa53095b4a66e0a88c76fa5ddad9df83b003712 2135 coq-gappa_1.10.0-4.dsc df89e83afed7aa789336b04bb54fd36912e85ed8 91600 coq-gappa_1.10.0.orig.tar.gz 78da17df358ec5bfb2a1cde452e2373bb03ed398 3620 coq-gappa_1.10.0-4.debian.tar.xz ff58eecccf91a80a433f47d2ccf3e5ae9c0ebbfb 6937 coq-gappa_1.10.0-4_amd64.buildinfo 27f16bab67bc43a5a05c66fc5e690fc638a84f0e 608060 libcoq-gappa_1.10.0-4_amd64.deb Checksums-Sha256: 5668e98273a5737380cc07f1b839ff90cc7f9df877a355114301e6117c40dbfc 2135 coq-gappa_1.10.0-4.dsc 4b709dffd10f50673abe3627f1c69c1b05e54b2831c1a700ad4b213245d915dc 91600 coq-gappa_1.10.0.orig.tar.gz 1dd0eec6567becf5581c94aec1c31ced143b5f73acf65634f615097a6fe188f8 3620 coq-gappa_1.10.0-4.debian.tar.xz 4059d3f992f7ddb3f04d2a671bbf31d7850259584149445568f9976c81d1118c 6937 coq-gappa_1.10.0-4_amd64.buildinfo 71a54d21c41b87a7c6db77edcbc034d2d34bde13f4c80ff5efe8aafeba13726f 608060 libcoq-gappa_1.10.0-4_amd64.deb Files: 51d049ce55a8f61515f927fe84657a4b 2135 math optional coq-gappa_1.10.0-4.dsc aa8ac95f156180444b97d91e3f2e3275 91600 math optional coq-gappa_1.10.0.orig.tar.gz 3d64f479a2753ea3218e51e7088f9a3d 3620 math optional coq-gappa_1.10.0-4.debian.tar.xz 8aaf16901c38fe96891dd0aaf9f8e439 6937 math optional coq-gappa_1.10.0-4_amd64.buildinfo 3fdd6aa7ef5f71d7073629d788cf480c 608060 math optional libcoq-gappa_1.10.0-4_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpwyWUZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUeVrD/4o7GR6TRcoGLDPlN6SdTKl ApcLtIvLojEXcDWO2DljfpN+2qNFDRMcu9NXvHerlQBUCjahWRSvc7b13e1l5Hv8 Qt2qA3/D376nZJu1qtQTu/jwRJ8FefTINlGOKsXdSJjD1JjoKQ/9QqmX24matlyb wwjqAgwd5b7vADDA+bIr2GId5ef9olgAw5KbClCsfzEqQxDrzeqVPRf1IoECxgfo /ujxM3fTn3e5OxHS34GV4QP1J+4wrqIBOfSixgCRHR+jWYL1ufGTZ3he5XqnJgtb oHjrjlUvPeFSdMFN5JktszYPfmrNfDL0moffWnj2ao8ksWgzI5riA8DSVILHbhP7 RziYJVbgApRwRbQ7GuBiZq+hVkKW735SDnsx8/yzNx2ZxNexotk0F+wrg2oJSEl9 TeOs6uMRBOyw+1qjFCxrlF6elgqfE9nqlhD8OceChrxViBTAEkMh1UETFybBRqDk yCHinlpEMB/Od9lG1Pp1nMZNYBuhhzLuv3Y3InkYfZYSFxos0v4TjzKkA7r3/j9f qQtwzdwinkpyMLt/GKdpcH9XGeJGgUQhH76oS8Lethp6Xr1cabe3JtEN51DHtuVz 6/+/fsOdaOp/xlNSj1aHJfsi4GZKONkjPaeRQIhfOZiHLD9PDerA3Hst+O1B6Klu 4wzJJMFrE4PFpO/33Ohm+A== =Trjc -----END PGP SIGNATURE-----
