-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 28 Jul 2026 23:49:33 +0200 Source: mathcomp-finmap Binary: libcoq-mathcomp-finmap Architecture: source amd64 Version: 2.2.4-2 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-mathcomp-finmap - finite sets and maps extension for Mathematical Components Changes: mathcomp-finmap (2.2.4-2) unstable; urgency=medium . * Fix compilation with recent dune. Checksums-Sha1: 18a93f97deee007e3d75acda4b5456d845567466 2157 mathcomp-finmap_2.2.4-2.dsc 5c48dfe25ed24c782b1cda3004911492e605a93a 70990 mathcomp-finmap_2.2.4.orig.tar.gz 496cade267bce0a1333ad195993aaf64d12861a7 9420 mathcomp-finmap_2.2.4-2.debian.tar.xz e299115fbe9993925772cbae40122a1b2fdecd94 1049308 libcoq-mathcomp-finmap_2.2.4-2_amd64.deb fdf363f641a5103a95860f475947a12956e6b9c4 7417 mathcomp-finmap_2.2.4-2_amd64.buildinfo Checksums-Sha256: 02c4f1c845405b8fef505c3a553a97bedaaae2a7fbb5f41fe684c9b55828312e 2157 mathcomp-finmap_2.2.4-2.dsc cb160fd405a46ee0ae7813d6e3ac4748cfa41511d6958a7280b68ab71ea12167 70990 mathcomp-finmap_2.2.4.orig.tar.gz 19956d0788fb436bcdceb479a62d6a42f65892b8a372b3eec8747db6d1a4882b 9420 mathcomp-finmap_2.2.4-2.debian.tar.xz 27fe19b989c4ef770be478acab30127f8af3285895d738a47fd3c52924de7603 1049308 libcoq-mathcomp-finmap_2.2.4-2_amd64.deb a3b2db755b2610166dfe91b307b3d087f050f2775c7199a9ee110c8e7fd48129 7417 mathcomp-finmap_2.2.4-2_amd64.buildinfo Files: a34d271b5d849c18795533d6acc84c30 2157 ocaml optional mathcomp-finmap_2.2.4-2.dsc eefa8908cc80618e248cf79886116145 70990 ocaml optional mathcomp-finmap_2.2.4.orig.tar.gz c3aa8f4159142594decf6f260333bed5 9420 ocaml optional mathcomp-finmap_2.2.4-2.debian.tar.xz e137548995f0de3e7c4579670bfc8971 1049308 ocaml optional libcoq-mathcomp-finmap_2.2.4-2_amd64.deb 16ab98c589f014e63a4df258094f9fa4 7417 ocaml optional mathcomp-finmap_2.2.4-2_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmppn6wZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUeDpEACdC6T4+oNeTtwnpbTrIVry WzW22O3DqXLSsqD4CdAjo6p8in2rhPv+sSI2+I4TvMJwQqhOtIADEJLHTxRtb/v8 qLzvE43WmkYhGCV+OcbfQZB8t4P1yQLyqEiodA9I3jNjuaNM/FPBle1YldPaYbLQ 77R7V/EL3pa0MTt3i4HSWqUIzmIUspZS+Dihk5KoP6l8nK6kPyOTv6dcklPbAq3B Gk8baOXF8nmt2cxWKKya4yBgHLXJqxCTk6/mxXRlxHYU6gxaO2NASUipxTBjRsPG Ztdquw5pTiAVcg0iijHJLznkEMWOnLTcm5yw7KENk01GGjWLxYVxdawZikSzZrH9 G88YqNVnCIZRdY9GkNe24xrJULnE7tiXYBwQvMOBbTBQEJcSj2j29zRon0kz+PyT N0Vma5G4K082Gm99V0lqLRubHDOFD2lhDSdRJ2kxoiFHmKqNwzYxjbFP+zpwflXJ Q4Xji9w7h5SpLGlqvuMl15YzLDoOvvQXTgvO0MKSWkOJ8gF1+5j3yygZ2+H/LFcp 7NVzxd3L3iEi1yVCbz40ELGvTHw3rsZTaZIx4uU/nu4MZKQvDLcqMZ54Qybyn49Z CPMrc9w9kCRQZz9GHNjH5QFiPO4CDOrIQwfeoWxNeD6q+zaxisQYM8/WdnzDY5Kl coR0EhDH8DF6mcUKjuJ5Jw== =OnuD -----END PGP SIGNATURE-----
