Format: 1.8 Date: Wed, 11 Nov 2026 17:15:29 +0100 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.2 Checksums-Sha1: b4954a9b2e62ca4a2e2019b4ac6c30e49c2edb47 1265 mathcomp-finmap_2.2.4-3+ocaml1.dsc 5c48dfe25ed24c782b1cda3004911492e605a93a 70990 mathcomp-finmap_2.2.4.orig.tar.gz 923422a1a5c8b1a5050cde602dccb598764638d3 9524 mathcomp-finmap_2.2.4-3+ocaml1.debian.tar.xz 6ede9fbc172ab87dce7f0a5aad59c797888770e3 1049796 libcoq-mathcomp-finmap_2.2.4-3+ocaml1_amd64.deb a3b5a035db96214bdb501e626e844defc4fc6c4e 6850 mathcomp-finmap_2.2.4-3+ocaml1_amd64.buildinfo Checksums-Sha256: cf63912f3e931ae2201a307d041895d91f5f726f644fc338e6f757a92f72641b 1265 mathcomp-finmap_2.2.4-3+ocaml1.dsc cb160fd405a46ee0ae7813d6e3ac4748cfa41511d6958a7280b68ab71ea12167 70990 mathcomp-finmap_2.2.4.orig.tar.gz 792a0f1613ed90948ff1d4e5374e9d539ac224f0c4d4be3baa830114cc005402 9524 mathcomp-finmap_2.2.4-3+ocaml1.debian.tar.xz c1de64ec242783b8b53fed0beb21f2776e5e6e7ca52c28ddfc33056dbabf75ca 1049796 libcoq-mathcomp-finmap_2.2.4-3+ocaml1_amd64.deb 3893b34f6b9c068a9428bb6ecf61e4768bfe4206950ccd22aca86fa1f227b153 6850 mathcomp-finmap_2.2.4-3+ocaml1_amd64.buildinfo Files: 6f03d3a37d6e2ec4ff47018f778f6c02 1265 ocaml optional mathcomp-finmap_2.2.4-3+ocaml1.dsc eefa8908cc80618e248cf79886116145 70990 ocaml optional mathcomp-finmap_2.2.4.orig.tar.gz 7b455df5ba2d72851b26913205fb16a5 9524 ocaml optional mathcomp-finmap_2.2.4-3+ocaml1.debian.tar.xz 072455825af62e3d27cd4c121e8e2a4a 1049796 ocaml optional libcoq-mathcomp-finmap_2.2.4-3+ocaml1_amd64.deb e1129075af13dca9ab41a89346cef84b 6850 ocaml optional mathcomp-finmap_2.2.4-3+ocaml1_amd64.buildinfo