-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 30 Oct 2025 08:09:47 +0100 Source: mathcomp-finmap Binary: libcoq-mathcomp-finmap Architecture: source amd64 Version: 2.2.2-1 Distribution: experimental 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.2-1) experimental; urgency=medium . * New upstream release. * Bump standards-version to 4.7.2. Checksums-Sha1: 29ad95752d0515114aaa95d7c7e7cae897601754 2138 mathcomp-finmap_2.2.2-1.dsc 8661fe5ee4488d9739247c9605c03e431b7aa1ad 61790 mathcomp-finmap_2.2.2.orig.tar.gz d090108b6fbbd04256aa413d3a3d1f388f96f63b 9080 mathcomp-finmap_2.2.2-1.debian.tar.xz 708accff99826a94a27682be7e9d4ec65a0db829 906456 libcoq-mathcomp-finmap_2.2.2-1_amd64.deb 698c73046526e2fe2370a79ddc73c12110fe7df4 7480 mathcomp-finmap_2.2.2-1_amd64.buildinfo Checksums-Sha256: e2e72a8f76fc5c7b8c82142780578a2ae42774122cfee847102d61efba3cd860 2138 mathcomp-finmap_2.2.2-1.dsc a60819d4fee4415b9e7c49090d648a80378c5a4eeb62f06f8fdd7d96ebaf93ee 61790 mathcomp-finmap_2.2.2.orig.tar.gz a6c6229e07900654c76d2672e0cf4204b5789af92d93c4d4c3bd095ebf013924 9080 mathcomp-finmap_2.2.2-1.debian.tar.xz 76241d23f7cc5cb64aacfa5db7a00b7956bd306b7ea16595e841390dcca90273 906456 libcoq-mathcomp-finmap_2.2.2-1_amd64.deb 93e1eec9569c4877598e3246db69119353ed86f15f7ae0e600ad788a96815f73 7480 mathcomp-finmap_2.2.2-1_amd64.buildinfo Files: 3485bc778cfbe20d9230565d44460307 2138 ocaml optional mathcomp-finmap_2.2.2-1.dsc 9220e92849171b7c8cb470c78d349ab6 61790 ocaml optional mathcomp-finmap_2.2.2.orig.tar.gz f583c5533c4334fd86bfa2a998619881 9080 ocaml optional mathcomp-finmap_2.2.2-1.debian.tar.xz 3c219f138835493d6df74ccbf66e5d77 906456 ocaml optional libcoq-mathcomp-finmap_2.2.2-1_amd64.deb c7a34535732fa38a8886c3e123be082b 7480 ocaml optional mathcomp-finmap_2.2.2-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkDECEZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUYK+D/9oT1vB1BkXDuAYemgWHF22 BDASE2pJ/06v7f8e0iCRhqwDqtej1xWmfTb+SIIiMsh5JvDo8pZ72tv+MhC0fTjW uaPPQy5S8AuGqUBfiUxMWgn6a7GnrvjFKiKGjm6NMF6L2gKWCY5gxqCubCdLPp69 ctmfUU7xd3o1cBJqUcwQimKyqTB31MPa752AIekZxSBCkDQdP8sqSx3g3yz9ANxF +KjkfQDmfftathrfaIjLbneGoj3yPbUZcjOGFo5w5U/kHDma593azrer4lZFPsls TW3rwbbxT427vWo6V6wZR0MxdO4Bkq9LS93zeIOCuMBJ4BBksJHajoVWrIYGXjE6 qXfa7spvh8biw5DphtdTaUrPR3ZN35ByOuCsiiG2mlVnFTcoqX/A7nd3YqJYb3w3 gbNfnXJy+cACQBnmXT2/f/cG7YsWys6HFK+2hscn8GdWCFNfHY51V9DVqqvceF/M BupRpAZBk9iaDJRxFjGE5Pi0fHs8BYRVZBTJpC0to9EZiNZWVhKZT4rs30d8GKqJ N6Zeh7FW6TTGE/20bkxHyLlG/gHALk/nGidKAeDuh7XK5x8+UjHehajqaS+Ek+f7 cGHA4JyIOgNU9lJzO3nrMgXwQFikvCsbs4msFJZgQlKuKNHAzIvblC/cYXdgNUPf nat0vS+1eo9Mj9tUTkNTTQ== =lnhG -----END PGP SIGNATURE-----
