Format: 1.8 Date: Wed, 11 Nov 2026 17:13:57 +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: 6747efc7ef4f704b1936fa91b17bfffb381834a0 1277 mathcomp-bigenough_1.0.4-3+ocaml1.dsc de445845fe60bf0512c1bd6a08b71ce29dc7c013 12393 mathcomp-bigenough_1.0.4.orig.tar.gz b2dd9b3b4c59f4ade6bf0681c5eb08c2c8083c91 9024 mathcomp-bigenough_1.0.4-3+ocaml1.debian.tar.xz 5eead917ce2eb138097822b6c5f94f361121e702 21828 libcoq-mathcomp-bigenough_1.0.4-3+ocaml1_amd64.deb 2cc94bb1cce6132b282235ae681abeb80d306d72 6838 mathcomp-bigenough_1.0.4-3+ocaml1_amd64.buildinfo Checksums-Sha256: a466c5a163a2dc250b818bdd1364bf7c174af079d30e2f2854cc8facaf12630c 1277 mathcomp-bigenough_1.0.4-3+ocaml1.dsc cb14fd2d5200f3758b580262245bcf694a47ec7265ed692a616ce911d16392c2 12393 mathcomp-bigenough_1.0.4.orig.tar.gz 78c8f3d0c4f72f90d49b5ae584701f038f1ff6d4f63462ce572c3165c5da5c9e 9024 mathcomp-bigenough_1.0.4-3+ocaml1.debian.tar.xz 4abebd792232aeb52dd7a5b46ec3e0cdb324f2ff0362ef1d74e6783c502255e7 21828 libcoq-mathcomp-bigenough_1.0.4-3+ocaml1_amd64.deb e68777cfaccb245078fe06d93eac99a9c9769a583308e85401de4895ab8c96bc 6838 mathcomp-bigenough_1.0.4-3+ocaml1_amd64.buildinfo Files: d4f472752334bcfb8ce0af54ae986059 1277 ocaml optional mathcomp-bigenough_1.0.4-3+ocaml1.dsc 122ea1456196afbf6fe0b396e059172a 12393 ocaml optional mathcomp-bigenough_1.0.4.orig.tar.gz 004f0a51e60bdd740bdcf54a647cbcd2 9024 ocaml optional mathcomp-bigenough_1.0.4-3+ocaml1.debian.tar.xz c049e3b3eac905244558604a9f7eec4d 21828 ocaml optional libcoq-mathcomp-bigenough_1.0.4-3+ocaml1_amd64.deb dce2066c0215c0bc5a3281e58cbbb810 6838 ocaml optional mathcomp-bigenough_1.0.4-3+ocaml1_amd64.buildinfo