-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 19 Jul 2022 08:46:45 +0200 Source: coq-gappa Binary: libcoq-gappa libcoq-gappa-dbgsym Architecture: source amd64 Version: 1.5.2-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.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.5.2-2) unstable; urgency=medium . * Complete d/copyright. Checksums-Sha1: 94a5717b109152d96033054613bb07c9364ca058 2066 coq-gappa_1.5.2-2.dsc fd1bc27343ba1771ddc5baee93ec92275f7f9061 73542 coq-gappa_1.5.2.orig.tar.bz2 10fcb9109e0de27b8a579c96ec484346ad9fc558 1648 coq-gappa_1.5.2-2.debian.tar.xz d98beb39624656d48c7a749fb2f4c950568309ec 7403 coq-gappa_1.5.2-2_amd64.buildinfo 0130ee57531587b3afffaf199562d7be537bfd22 5800 libcoq-gappa-dbgsym_1.5.2-2_amd64.deb 531ad1da01a7b85530f946b3300c2a1b1a1b7948 516824 libcoq-gappa_1.5.2-2_amd64.deb Checksums-Sha256: 949037d1fd9981ae1ed2a335422780191c87409d02d512b5603cf09bfa6f35f4 2066 coq-gappa_1.5.2-2.dsc a8e43645ebb796851ddd5f6fc9abb4745401af265286ad57b4ebc425631f3da0 73542 coq-gappa_1.5.2.orig.tar.bz2 a94abf6efadf78490e846ce1ba02d48c4a8e244c61f8bc3cbdfb20015f58e707 1648 coq-gappa_1.5.2-2.debian.tar.xz 0b1904b831ab81adc32939406097e6058b6cf598a7ef3c277fbec4a43c38e109 7403 coq-gappa_1.5.2-2_amd64.buildinfo ac1b7b27c3421887961fd8d8f33ec46c838d9df706a9d32505b62f6ae4a81571 5800 libcoq-gappa-dbgsym_1.5.2-2_amd64.deb 67c5424c6b02077582459022a08ba3a5c932c4b213571779f276aae0eae75ad2 516824 libcoq-gappa_1.5.2-2_amd64.deb Files: 5e07b975da61e0ffe59736ac67ef1e3b 2066 math optional coq-gappa_1.5.2-2.dsc 826d7d56a103fc2c822f26e4db87e493 73542 math optional coq-gappa_1.5.2.orig.tar.bz2 0e6b7b9b105bea21c896cf4106a168b0 1648 math optional coq-gappa_1.5.2-2.debian.tar.xz f8cc60257c0d3533cbe7b2fa99f09af4 7403 math optional coq-gappa_1.5.2-2_amd64.buildinfo 080b17fba38165b737b327d387176562 5800 debug optional libcoq-gappa-dbgsym_1.5.2-2_amd64.deb 7fa52c25ce596acc369fd0f6fa44c49b 516824 math optional libcoq-gappa_1.5.2-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLWVC0SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRY+MQAI5ZFxLVxdwFRzWFNlZi8nYprDCFsz+c vark718aNoYaE3yNpIoi8UZcI5mHMyYVZa3vATT8dcwjVStE2OW+ysXprmTTF7UI KTQ3fEzI0HJUz012PBCs1xNlUsTmsApiVOW+uWhmtdTzPbejJw4FQrDpPd7rYj+r p3VTL5jtIWE0HQ2Yq1GnFTEEevuK+yolP3rwaRmQT46DH4pBEnEuL1vFtcp8fkkp fDti3wKVsvJ8HVXP38KNF4n+NMYkAoR4a0siULjhAvy4McH1w5OYQTAFKTCQ7Ac2 2d1fLYfB1TGyaDZcLhE8zj4EijzUiptil+wuH25YekpIg36224ATtJzjpH26hFpm YrbYloghMHjjYo+guszt5WgNzu55G58hTcOBmv9SDIkDgyDMkCs7Dfni3XZwA7XM rxlIZZwyAw/g1Yb4lYT4SfXBnoocPmrWD805HigNkXtjL/2BSY6+T06IDgwqXS4D mKKji5BimVXE2nFmvQoRScxqL4HugyqcRDuSgyUyO3uNacPksKCJh/05qLF/iRCw QzTC/urUK5ttAxmcFwfIMrOL93nIy/BtLDmPyZUT2Xgt3yKTqZUw/6+fUmQKhfCf 66NrrkCsIyAnS2gjqK7h/YD/ZdYVEBNw59MCsJRU2vWGcxuDCnuyUn9UB/8W6F69 YwMxRU6f8eF4 =Gzpy -----END PGP SIGNATURE-----
