Format: 1.8 Date: Sat, 07 Nov 2026 00:15:35 +0100 Source: mathcomp-bigenough Binary: libcoq-mathcomp-bigenough Architecture: source amd64 Version: 1.0.4-3+ocaml1 Distribution: unstable-ocaml Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Anonymous Builder Description: libcoq-mathcomp-bigenough - epsilon - N reasoning for Mathematical Components Changes: mathcomp-bigenough (1.0.4-3+ocaml1) unstable-ocaml; urgency=medium . * Rebuild for transition ocaml-5.5.2 Checksums-Sha1: 5a2c83561fb8c5c357d6a543bd2d492e49a59cf2 1277 mathcomp-bigenough_1.0.4-3+ocaml1.dsc de445845fe60bf0512c1bd6a08b71ce29dc7c013 12393 mathcomp-bigenough_1.0.4.orig.tar.gz 07dc8ce1a4e10a9a764a270917dddf02abd5aea9 9028 mathcomp-bigenough_1.0.4-3+ocaml1.debian.tar.xz b6538f45208a0fb82b7ef8febb4718cce21d5c04 21832 libcoq-mathcomp-bigenough_1.0.4-3+ocaml1_amd64.deb 54d1c2345474ef9111e1fa3c89ca8c621351e945 6835 mathcomp-bigenough_1.0.4-3+ocaml1_amd64.buildinfo Checksums-Sha256: f02db66b5f9ab8f954ff4aebf9ca54ae9fd3436183ee460131b3149fb9f90f99 1277 mathcomp-bigenough_1.0.4-3+ocaml1.dsc cb14fd2d5200f3758b580262245bcf694a47ec7265ed692a616ce911d16392c2 12393 mathcomp-bigenough_1.0.4.orig.tar.gz 4f3ca96bc7c7e8859eb91740c253e7b8d14ddcaaf2a4e4c62740da96a205296e 9028 mathcomp-bigenough_1.0.4-3+ocaml1.debian.tar.xz 6a233dad5d8c764fbe799d429d460e012419e10b8081b16bd4552b49eed2263a 21832 libcoq-mathcomp-bigenough_1.0.4-3+ocaml1_amd64.deb def3cbb382ec681a3ecf07d245e419b411d712e5525d7f3bc9ffc688492792ad 6835 mathcomp-bigenough_1.0.4-3+ocaml1_amd64.buildinfo Files: 258c22a95ec781b9ec19511050c60263 1277 ocaml optional mathcomp-bigenough_1.0.4-3+ocaml1.dsc 122ea1456196afbf6fe0b396e059172a 12393 ocaml optional mathcomp-bigenough_1.0.4.orig.tar.gz 5a43a59fc6e42d8a4a26d51e59d04f03 9028 ocaml optional mathcomp-bigenough_1.0.4-3+ocaml1.debian.tar.xz 3edc06ba6e9f8de6a433ffa56fc439e9 21832 ocaml optional libcoq-mathcomp-bigenough_1.0.4-3+ocaml1_amd64.deb 7bc6442dc39f01653850e6541c669e4b 6835 ocaml optional mathcomp-bigenough_1.0.4-3+ocaml1_amd64.buildinfo