-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 20:40:55 +0100 Source: mathcomp-finmap Binary: libcoq-mathcomp-finmap Architecture: source amd64 Version: 2.2.2-2 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.2-2) experimental; urgency=medium . * Strenghten depends on coq/rocq. Checksums-Sha1: bfdf2ab1d6315a0cacde20081e2dcb2cc77dae27 2145 mathcomp-finmap_2.2.2-2.dsc a2e24ed03dfec81fd564b38bf7bdb0291eda03fd 9120 mathcomp-finmap_2.2.2-2.debian.tar.xz ed4f1e2445e92be60b3a620d804eb1ed878f0497 978088 libcoq-mathcomp-finmap_2.2.2-2_amd64.deb 7f99176dc228d572d0d045acdb0216254f9f5626 7262 mathcomp-finmap_2.2.2-2_amd64.buildinfo Checksums-Sha256: 77a0526f25fd921f18d92851a19cfd35c4d9cfc586ba81f8303b16d01573dfb8 2145 mathcomp-finmap_2.2.2-2.dsc ba53f1d54e3f8d468f9de892d8364804578a90e0a986d456a913e26faeb5cf24 9120 mathcomp-finmap_2.2.2-2.debian.tar.xz 7deec14721859510e9968a1da2076bac423444efe4445c97e5a072b7bd454cd9 978088 libcoq-mathcomp-finmap_2.2.2-2_amd64.deb cbf43c84b56ed4baf373b141bbe86b3967ca0eb0b8dc24c05d921acaed1e9f2f 7262 mathcomp-finmap_2.2.2-2_amd64.buildinfo Files: 9fa27a7e80b855549e055c3999dcedc7 2145 ocaml optional mathcomp-finmap_2.2.2-2.dsc e90c0aeb69ec8e50d03166ae98e32bdf 9120 ocaml optional mathcomp-finmap_2.2.2-2.debian.tar.xz 7209c78a5a46eba77c1bf94dc44bdad4 978088 ocaml optional libcoq-mathcomp-finmap_2.2.2-2_amd64.deb a71119237606532028a6369ecfbc92d5 7262 ocaml optional mathcomp-finmap_2.2.2-2_amd64.buildinfo
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTksMZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUXmaD/0cmf7B0X9WzQJYWbx5kpXF 3Cpo9qvywmQzkybnL8JjCBuL7vsq3d7lQQEPa3/XGQiQhkQEmSBZoK6AHalar00B 5hXhDxIXyrEiCgzhEw+ElzSC/Ww2KF3MqjgMnLMmqbm92XzjJy7t0ZunDMz18mW7 wQwR/VgVIYpON6y+vjWXHFC+hcvuF6Idgsbzsm6AT3Oq0odf+RhqTXlWTe9ZQwYf IO79UySwXm4KgOLC9UQ52Wvg+v26+YYJDuBbpTKNBnwi1cT/e5y7/BNON1FhXRlB f+ii8+DSYC6Rzmv79rhEW4nf+wGffJUfASOcIAhx1UTDJ+0Ty2UYxJW2Y2/ppXgJ RfI9k5IdmcENGoCbzbseIhktXzb1kBztwg2j76eaAb7Ebu6fEADWmQJQ6gaCLVru vbNip/A+Bim6gqsFZTQRxUgXebL3LMKIpVHuMT1bPYKv2jKGkpE2D+JDYSmd/uem EG6VJukTZ/Cz/Dg2HITJuJPkbMF+pj0KMU5bT+YTd44P/rVXpZPUhjX7pKySmfjN UDWrEj0yh9jU70BudBiq/0mQv3XP/19Fv8tJauT5RvJcqhHkbv5+mmHQCU/HC7rk dKm0fKGIf3l7ZPiATeIFHkK1Em526oRjpoAlwIMASxhb5+gNXZaiHA8O1gODU1eh si6XurVKs3UvPLMcE4vGtA== =2J9c -----END PGP SIGNATURE-----
pgpcRctaN2MQe.pgp
Description: PGP signature
