-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 10 Jul 2026 10:42:22 +0200 Source: rocq-stdlib Binary: libcoq-stdlib Architecture: source amd64 Version: 9.1.0-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Description: libcoq-stdlib - Standard library for the Rocq Theorem Prover Changes: rocq-stdlib (9.1.0-1) experimental; urgency=medium . * New upstream release. * Bump standards-version to 4.7.4. Checksums-Sha1: 5f9dc6456afd61bae6ea76075ca8534889707ac6 2017 rocq-stdlib_9.1.0-1.dsc a92b88f0ea5d7ab4f7c3533691d6f2eaad476acd 1864765 rocq-stdlib_9.1.0.orig.tar.gz 417a1ec620039bf0f5be68905882b519c57f48c6 2360 rocq-stdlib_9.1.0-1.debian.tar.xz 3d4e2f900aa5f9a19874308d40374e6121b9720d 20075712 libcoq-stdlib_9.1.0-1_amd64.deb 1446f060fcba071f1272e5413b55267ada7ac139 7182 rocq-stdlib_9.1.0-1_amd64.buildinfo Checksums-Sha256: 2f395a148864c3caa75bef9eb9726ea7b4aeb7e6337be2155fede6340d2b644a 2017 rocq-stdlib_9.1.0-1.dsc 4ddeaa7ebb580780d34f655834ef6c0daa64a2b07f930056976866862fb1f76f 1864765 rocq-stdlib_9.1.0.orig.tar.gz 3fd20efa7ec6e5efa7e69fa0a79acdcd9fd34ef36d02bb0833eb688387e7f9ef 2360 rocq-stdlib_9.1.0-1.debian.tar.xz 5f3ccfd4cbd1c8732d50e89d8e723ab2d286a2ea98b172cd4c06478f937d648c 20075712 libcoq-stdlib_9.1.0-1_amd64.deb 979a903d1af33fc0900a1ed27dd75006e7806f84e2e43d4b8297195a22bf495b 7182 rocq-stdlib_9.1.0-1_amd64.buildinfo Files: aa1cf3b83a3fa15b4a90318ad7b5b6fb 2017 math optional rocq-stdlib_9.1.0-1.dsc a8b0043d624e8bb44d46d22e741f329c 1864765 math optional rocq-stdlib_9.1.0.orig.tar.gz 21273f7cb12cb6c99bb867aa72a0deea 2360 math optional rocq-stdlib_9.1.0-1.debian.tar.xz a8a175500c4ecda2c7d06ac4089273bf 20075712 math optional libcoq-stdlib_9.1.0-1_amd64.deb facfc59b5f45d136afc4e45f76af43a3 7182 math optional rocq-stdlib_9.1.0-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpQsegZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUeY4D/0d2X2INc0x2TA12fpIINiZ zEJ30nf3b54rflTdYrwPFLNqHYYc6z7iBy/SRMJJCODMSAf4Gnc4RuDT+f31YV7B +H285sCFRxsG9ni72/WznDoWrav9WfEDqZAwPc1ToehWSqUle8UpnHugmmaZcaXX TBj3TulfrqhewlIzXgQOoUYwQASZZJzgmpPED/Bs2aJHj4w6qvO4yD4X8Oy91f4H wwFukJDKYCWriVNX5G5X0897e/XmxNaP1ECQcZWwvxmSRQK9VxBOc4d3YyNCg3f3 k8QvPCOKhyn3J+FqOsin4m/4beUckpJrAyDhRrFUQtVZJJlP6dbOVqGgZ0T8aOXb bFTOkf8nh14o3nvm6A0ch2BFnQb86xcyfHxv8f86Lpn/FdrWsh9ji3qH6u13hME7 3hHeqn5Ed8504p8dIbp2jvjhZ0HFDLaRkEdDjX9lM5J8SYXsfn57wNntgbZtdKiD M3yYE9c7P0JnEbk6TWdtZ+qQFzD+PqUD+nOk72hhq0YYdVypnsLQ09IH9i2c0bBq WcuzzBXD77JeVRylm4cPOn7GYBSzeTLcU1ejiT2j9lDkTWVUggjt5qIHGE4lL6Tw y0xPKfLnJrWubgRI27RmJLcg8gE/jzu+48JsyStL3kV5a9FweQMOSaK17FD5i1Hh 9duMLhirrYAZMCcBPnSWTQ== =0rRq -----END PGP SIGNATURE-----
pgp9eAjL437yF.pgp
Description: PGP signature
