Format: 1.8 Date: Tue, 08 Sep 2026 02:20:39 +0200 Source: mathcomp-finmap Binary: libcoq-mathcomp-finmap Architecture: source amd64 Version: 2.2.4-3+ocaml1 Distribution: unstable-ocaml Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Anonymous Builder Description: libcoq-mathcomp-finmap - finite sets and maps extension for Mathematical Components Changes: mathcomp-finmap (2.2.4-3+ocaml1) unstable-ocaml; urgency=medium . * Rebuild for transition ocaml-5.5.1 Checksums-Sha1: 4503e4dc51c6f8f5dcf08a2c557ebf1bbc49e9ca 1265 mathcomp-finmap_2.2.4-3+ocaml1.dsc 5c48dfe25ed24c782b1cda3004911492e605a93a 70990 mathcomp-finmap_2.2.4.orig.tar.gz b586dfd9c457a26aec0db6f195a934e0de6312ba 9524 mathcomp-finmap_2.2.4-3+ocaml1.debian.tar.xz f15b55c3209c90dc4a02e9a78a1c90dc8c52e8f4 1049468 libcoq-mathcomp-finmap_2.2.4-3+ocaml1_amd64.deb c92c54314879d063aebd36ac227363e4b430e74b 6699 mathcomp-finmap_2.2.4-3+ocaml1_amd64.buildinfo Checksums-Sha256: b6c779f4de442c03c2b92a4db0a84508703fa18e7ab39945153070da68ba7290 1265 mathcomp-finmap_2.2.4-3+ocaml1.dsc cb160fd405a46ee0ae7813d6e3ac4748cfa41511d6958a7280b68ab71ea12167 70990 mathcomp-finmap_2.2.4.orig.tar.gz 2083ba22bd2bb6f7b68b9768d0d5bc0d2ade4a0a2a0f731e625f4d97be118145 9524 mathcomp-finmap_2.2.4-3+ocaml1.debian.tar.xz e5bf4d22fdc8fef7498944123c28a7c5ff6dabb9cbaef5bb22ffdb823b999010 1049468 libcoq-mathcomp-finmap_2.2.4-3+ocaml1_amd64.deb 0a8b21825487a7c502a494fabfe7df6594a18a4b0c65edadc25610a2f4b71a3c 6699 mathcomp-finmap_2.2.4-3+ocaml1_amd64.buildinfo Files: 92e24b5135f5e8cd380a2faa20d3df61 1265 ocaml optional mathcomp-finmap_2.2.4-3+ocaml1.dsc eefa8908cc80618e248cf79886116145 70990 ocaml optional mathcomp-finmap_2.2.4.orig.tar.gz e21b4f6ae3e4d42e83adced10d3d19b9 9524 ocaml optional mathcomp-finmap_2.2.4-3+ocaml1.debian.tar.xz a1076e95526fb2d3628919b5fac36b3c 1049468 ocaml optional libcoq-mathcomp-finmap_2.2.4-3+ocaml1_amd64.deb 00ceb19a7d4a3eb893a978e3b472a24b 6699 ocaml optional mathcomp-finmap_2.2.4-3+ocaml1_amd64.buildinfo