Format: 1.8 Date: Tue, 08 Sep 2026 02:20:39 +0200 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.1 Checksums-Sha1: 910e6bc11b16077f50c3266a966bdb5d752134c2 1277 mathcomp-bigenough_1.0.4-3+ocaml1.dsc de445845fe60bf0512c1bd6a08b71ce29dc7c013 12393 mathcomp-bigenough_1.0.4.orig.tar.gz 8e5683126a9b2b12d4da87fa70a39d9f5ac006f4 9024 mathcomp-bigenough_1.0.4-3+ocaml1.debian.tar.xz e6037f0202971350017aeb5c183060b25406a0e1 21836 libcoq-mathcomp-bigenough_1.0.4-3+ocaml1_amd64.deb a8d79d10bb9ccc1e8d4c344c0d9ddec5fa812937 6687 mathcomp-bigenough_1.0.4-3+ocaml1_amd64.buildinfo Checksums-Sha256: 63ed827ab9a0b9359da8417ded25d7db94c8470e11d506b0ce4d4a63c5f5abf6 1277 mathcomp-bigenough_1.0.4-3+ocaml1.dsc cb14fd2d5200f3758b580262245bcf694a47ec7265ed692a616ce911d16392c2 12393 mathcomp-bigenough_1.0.4.orig.tar.gz ed1217990e5fe96f8d90b80630177fa872827bff4d985dec96523d7ace4d39b8 9024 mathcomp-bigenough_1.0.4-3+ocaml1.debian.tar.xz dd02f2b3f5df507253cbcd19062140ff337eded924b5e655bda06c442c4312c6 21836 libcoq-mathcomp-bigenough_1.0.4-3+ocaml1_amd64.deb e8a4818ea6843b0a5eef1a5ef54cbf860de415d6eacea1995436b50aeae89ad9 6687 mathcomp-bigenough_1.0.4-3+ocaml1_amd64.buildinfo Files: 4600a638abdb87d52732c8e67011e075 1277 ocaml optional mathcomp-bigenough_1.0.4-3+ocaml1.dsc 122ea1456196afbf6fe0b396e059172a 12393 ocaml optional mathcomp-bigenough_1.0.4.orig.tar.gz a89a0da74911a2ec7c09d746b2bae855 9024 ocaml optional mathcomp-bigenough_1.0.4-3+ocaml1.debian.tar.xz da527d97561e30764cc47ca33ccdf4d8 21836 ocaml optional libcoq-mathcomp-bigenough_1.0.4-3+ocaml1_amd64.deb 7a9e737d54a9e7dcd4898cdf01751316 6687 ocaml optional mathcomp-bigenough_1.0.4-3+ocaml1_amd64.buildinfo