Format: 1.8 Date: Fri, 23 Oct 2026 20:07:47 +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.2 Checksums-Sha1: 5262e63e597a0b546fe60a5a237addf16afb5fe7 1265 mathcomp-finmap_2.2.4-3+ocaml1.dsc 5c48dfe25ed24c782b1cda3004911492e605a93a 70990 mathcomp-finmap_2.2.4.orig.tar.gz 1e7733075a1f64382d95b80ee4e0291ace76f0f5 9520 mathcomp-finmap_2.2.4-3+ocaml1.debian.tar.xz 456fd5b4e95989fdde788f251c6b6910513d8689 1049532 libcoq-mathcomp-finmap_2.2.4-3+ocaml1_amd64.deb 4ea838dc524706691f4ec1041050d43bdfbf080f 6793 mathcomp-finmap_2.2.4-3+ocaml1_amd64.buildinfo Checksums-Sha256: 2769fd4e6a2f8add30e35044faf538384500ce174925bb40557cdda6df1496f4 1265 mathcomp-finmap_2.2.4-3+ocaml1.dsc cb160fd405a46ee0ae7813d6e3ac4748cfa41511d6958a7280b68ab71ea12167 70990 mathcomp-finmap_2.2.4.orig.tar.gz 0909c07bdbdcf2b56898894e971134fc56e95d4c495150b6cf9d00b6ed7b8c01 9520 mathcomp-finmap_2.2.4-3+ocaml1.debian.tar.xz 553c21abf44a321f684d52f8088aa84d34ecf6858961e3c1d6a384f95b5cd4f4 1049532 libcoq-mathcomp-finmap_2.2.4-3+ocaml1_amd64.deb 5b61bc064e3ca9c7eef7722c833e36d599b94790605975cb12f2dea93b4fbfe5 6793 mathcomp-finmap_2.2.4-3+ocaml1_amd64.buildinfo Files: be2d545de56069df4d467ea7903582ff 1265 ocaml optional mathcomp-finmap_2.2.4-3+ocaml1.dsc eefa8908cc80618e248cf79886116145 70990 ocaml optional mathcomp-finmap_2.2.4.orig.tar.gz ff853bf0420a29b6f9f04c63e453b23a 9520 ocaml optional mathcomp-finmap_2.2.4-3+ocaml1.debian.tar.xz 74979165349b5d83d91217e8abbb8ccf 1049532 ocaml optional libcoq-mathcomp-finmap_2.2.4-3+ocaml1_amd64.deb d6db6e45a11567c7bdce4da1c7e8dfe7 6793 ocaml optional mathcomp-finmap_2.2.4-3+ocaml1_amd64.buildinfo