Format: 1.8 Date: Sat, 07 Nov 2026 00:15:35 +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: 9a13d1061ae3aa8d4e4cd22d3b27ecc0a825c121 1265 mathcomp-finmap_2.2.4-3+ocaml1.dsc 5c48dfe25ed24c782b1cda3004911492e605a93a 70990 mathcomp-finmap_2.2.4.orig.tar.gz 808bd5e1ab781b14b0782b7c5167ea2aeef03698 9524 mathcomp-finmap_2.2.4-3+ocaml1.debian.tar.xz bccb16662bc2861b877ec1c13777945fe3ed7e11 1049512 libcoq-mathcomp-finmap_2.2.4-3+ocaml1_amd64.deb f84039ba1d1b4441b3b430e86b0d0cf2cfe3ea3b 6847 mathcomp-finmap_2.2.4-3+ocaml1_amd64.buildinfo Checksums-Sha256: c0a1c264fe9831d9b9382582769fdb4b3e7c443d7b755665f3d3ebb4fa942459 1265 mathcomp-finmap_2.2.4-3+ocaml1.dsc cb160fd405a46ee0ae7813d6e3ac4748cfa41511d6958a7280b68ab71ea12167 70990 mathcomp-finmap_2.2.4.orig.tar.gz 09e05888e28dbe4f0935cd7b46e751b10f70dafc8503cb86d7c0b162624aa66d 9524 mathcomp-finmap_2.2.4-3+ocaml1.debian.tar.xz 20b54970f7595ca4beec8696342209ff53f8ee287e1494f0e5078e42effe72f1 1049512 libcoq-mathcomp-finmap_2.2.4-3+ocaml1_amd64.deb 1056548d0dc9cf0633950458307e255e0d08adce2654e8cbfaeb1daa715ea17d 6847 mathcomp-finmap_2.2.4-3+ocaml1_amd64.buildinfo Files: 2bd44562fb761c7ecc33d887e4ae5d6b 1265 ocaml optional mathcomp-finmap_2.2.4-3+ocaml1.dsc eefa8908cc80618e248cf79886116145 70990 ocaml optional mathcomp-finmap_2.2.4.orig.tar.gz 05f62bd44639e6e8e72924fee70a7223 9524 ocaml optional mathcomp-finmap_2.2.4-3+ocaml1.debian.tar.xz b7a1f39012eb3ef1521313a737f650b3 1049512 ocaml optional libcoq-mathcomp-finmap_2.2.4-3+ocaml1_amd64.deb eba4b4e948608d82339b44093eb5eaad 6847 ocaml optional mathcomp-finmap_2.2.4-3+ocaml1_amd64.buildinfo