-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 20 Jul 2026 23:23:00 +0200 Source: mathcomp-finmap Binary: libcoq-mathcomp-finmap Architecture: source amd64 Version: 2.2.4-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Description: libcoq-mathcomp-finmap - finite sets and maps extension for Mathematical Components Changes: mathcomp-finmap (2.2.4-1) experimental; urgency=medium . * Bump standards-version to 4.7.4. * New upstream release. Checksums-Sha1: a8f7666143e7a340819ab36426b48d96184958be 2145 mathcomp-finmap_2.2.4-1.dsc 5c48dfe25ed24c782b1cda3004911492e605a93a 70990 mathcomp-finmap_2.2.4.orig.tar.gz d5cde3b359c1df552ce2403da106fcbd41f1fba1 9092 mathcomp-finmap_2.2.4-1.debian.tar.xz 617027ae7d99f13f7b1f520847c8fc764eb813ab 1049676 libcoq-mathcomp-finmap_2.2.4-1_amd64.deb 9f561649e2d871ad0ef34185eaef0da02b9a7c99 7492 mathcomp-finmap_2.2.4-1_amd64.buildinfo Checksums-Sha256: fbe7da7da10b569de20b445064fc7d7c6c31982fade0bec7c73f8cc1975d89b5 2145 mathcomp-finmap_2.2.4-1.dsc cb160fd405a46ee0ae7813d6e3ac4748cfa41511d6958a7280b68ab71ea12167 70990 mathcomp-finmap_2.2.4.orig.tar.gz 3e3b604cfcb0e0a1a1c2ac2dcca895e7f94b82b8ebe477d1ca34fd44afb2a5a1 9092 mathcomp-finmap_2.2.4-1.debian.tar.xz cc9ead6d48390b826b3ea68933cff2f6706480dd23fbe06afdb351c8dcff2222 1049676 libcoq-mathcomp-finmap_2.2.4-1_amd64.deb 455f64aebff3dcee348e016d69605ff1b0394b786922f603cafa83b1ecf7a9f1 7492 mathcomp-finmap_2.2.4-1_amd64.buildinfo Files: 2d6358c0743aeba3c253ed5e40c67214 2145 ocaml optional mathcomp-finmap_2.2.4-1.dsc eefa8908cc80618e248cf79886116145 70990 ocaml optional mathcomp-finmap_2.2.4.orig.tar.gz ebd5a3e105d4aefa48786d4e67cde224 9092 ocaml optional mathcomp-finmap_2.2.4-1.debian.tar.xz 11356a47c517c7c35aaab9ec7bd1783d 1049676 ocaml optional libcoq-mathcomp-finmap_2.2.4-1_amd64.deb ce34fb9ae78e9cf4709ef92a647d98ad 7492 ocaml optional mathcomp-finmap_2.2.4-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpekuoZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUex8EACU3UcY6a81OrjtwiCh74fJ JBsiFgL48dXmm3f9F/3vyc6uns1WZIUM4lZkPsoBhuSn9ctpR8sM//BJgXbUJEQj R8S1YEq9s+ZT0Rgv6sq2Uc/uQnYHJCAVjc/Yvl0lZCkbly04N6RMRWSnsZqNh09m Dat3p0sRvfeF85M4lnUpRupsPEcn1iGqIPo/XF2Dl4GuZ/Rev1We4zws98rESk6e ueGC+eIy3wxC/V0OvNIyvqKMTlimVx/XQTAqTbAbDiM+PEVe3CpMHnT4WPJmHIEe UbwRQyCtdhOiIF6jxrePalxumYA2sYZfGXDzuWw4ARCqoC+kVsGQT5vWFdmrtyYj 51J/3RMLtQtfE4VTKuy8huj7HNWbbrywOWK/gZrBN2n+zb7J9T4RlsXIRAM+VsAO HDu9ogB/DKOMfCHQjLoR+VcsTM5gZtmJF1bFEt8fSQVrZ+SmvA6Q+AtOsAHM+i/E kJjpPytq2QZ6Jg/fczsTky3ko8luSs1qctDcGe2IFTmeeeTXZ0iBwUcRP8Am1Yjy e46o5Mfst0zO25uEGcyTitWp7EAArsbDsf08uanHsxC4SgBh16W9gXCkmagp7cOV LSugr0Os4uGkmLsF7th0nrRrmanC2GQRyFOd5gtgfGOzJMBjt8VfsEu/LUH7ur+4 I43mb+FZ1xrpgNhAAA49Mg== =Cp7Q -----END PGP SIGNATURE-----
pgpVYKwgo11uj.pgp
Description: PGP signature
