-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 19:15:46 +0100 Source: coq-gappa Binary: libcoq-gappa Architecture: source amd64 Version: 1.7.1-2 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-2) experimental; urgency=medium . * Strenghten depends on coq/rocq. Checksums-Sha1: 5133744f65f1c0073301f38f1f1f34fce5bca19b 2107 coq-gappa_1.7.1-2.dsc 1fc4b88824db9e968f55d0a625b19a295d986984 2340 coq-gappa_1.7.1-2.debian.tar.xz b0be7ce9369a1640f3704879b0c3d5a526ba0813 6863 coq-gappa_1.7.1-2_amd64.buildinfo 8218adbf982debe0b46a36e04a939459bf2b54d6 556400 libcoq-gappa_1.7.1-2_amd64.deb Checksums-Sha256: fe3174f4772d44dad98635436fe83da20ed7cf4c9037b9dc877103e9fb24bf7c 2107 coq-gappa_1.7.1-2.dsc 452442048556a2865ac1d126caad930fbfc440d8e7eebf4e30d79c38fa6a3daf 2340 coq-gappa_1.7.1-2.debian.tar.xz 027fd5441b3bca05ff270c4c9858fb1d8c211234ec07dd790d50f47b4b88c00b 6863 coq-gappa_1.7.1-2_amd64.buildinfo fdd5dd5324abfe385dbb8fa31bd22f63bd86fcd7858f18799b2a2cc86d95f599 556400 libcoq-gappa_1.7.1-2_amd64.deb Files: c1471375b4acf40398484e4a71ce6091 2107 math optional coq-gappa_1.7.1-2.dsc 9fe11526bea94bd136fe48bb6d2bdfd9 2340 math optional coq-gappa_1.7.1-2.debian.tar.xz 724ec2d9ce7763e011bb7d7ce4660c15 6863 math optional coq-gappa_1.7.1-2_amd64.buildinfo 73748dc0e2422053075584eb2ac52a77 556400 math optional libcoq-gappa_1.7.1-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTfssZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUcbGD/0QoYsAoEFlRAfjypeYaAzS FQTPsv1AGcO5rR8VPfWmZDGPbMlUmONxjClAhXdyIbYfrcfnE20+ZvL+fD9m5uk0 HYVhQMdqzqggLPkQh2ChSydFGytCtW/hLWBrVRffv2GDBekSmrXiUkLj2/l+KVcF +XzCcr66ID4O8eLK3fSyZckVP/CUcP7W8NHeTHtdqwQHadQJ/J0MCCMTHiEaqWga ItWTpVkwfoZxWqYU4BK652BHjVqDhte84BO1rteq19FvIfdU84laIdPyKPEIHhxg VYcXpSyuDcI7uTzDskvPByrkMvjZZs+rdp+XXAPpkotJNyJLpNL/OiT7K35iFMY8 ehRpGY7Xzb7hHam2K2mCvGyrQr9mjaL3HZxZU1fueKmgw+YlVjrgFNVTZ/bULO2Q JyG+HjJhETS87EUtywa0jDHQOqB+qVaouyhOU1EO/Ee5GTwPLT7BqgnIF+C4sbGP jsO14hwLH3M6DlQ3nVf+qrVFWvlE/S7/DVteNtuTsEGWOC7Okbdom0Do6zbQnbrh 4diSa8Dgqu/pDbARGXAyvmWwR/gDb4KUgMEYZeTZ6V2Iu0bYVjmIGJkHZ7+nZ0eT PkF2Oa7sx+wjmHCjU887lTjCtexBZgEnLFamuGK3UXg90v2D6b2EvRlumoBqew6+ 4v+3o1I/mMeDt3Vz3DYvxg== =Zslt -----END PGP SIGNATURE-----
