Format: 1.8 Date: Fri, 23 Oct 2026 20:07:47 +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.2 Checksums-Sha1: 7fe0291f416a422cd63455e3f5650a510d22e661 1277 mathcomp-bigenough_1.0.4-3+ocaml1.dsc de445845fe60bf0512c1bd6a08b71ce29dc7c013 12393 mathcomp-bigenough_1.0.4.orig.tar.gz e95823753703ea5726a8e035b0bf672889344f63 9024 mathcomp-bigenough_1.0.4-3+ocaml1.debian.tar.xz 9bc069112915638a3aad1e4b570914ddd728b322 21824 libcoq-mathcomp-bigenough_1.0.4-3+ocaml1_amd64.deb 1324bfe34306ff9f5953924893b3cbfa41d2a5ac 6781 mathcomp-bigenough_1.0.4-3+ocaml1_amd64.buildinfo Checksums-Sha256: bd40a4b259fcebac1a6c7b64caa4c237c1338d03a92a42ed3f57c8e4649f0f00 1277 mathcomp-bigenough_1.0.4-3+ocaml1.dsc cb14fd2d5200f3758b580262245bcf694a47ec7265ed692a616ce911d16392c2 12393 mathcomp-bigenough_1.0.4.orig.tar.gz e19e56adbf1449e6e7ba34062ca7b63c9542b0b9258a2b750e95322b39ac30ae 9024 mathcomp-bigenough_1.0.4-3+ocaml1.debian.tar.xz c06d343a6c2002b42ac6fa808ba9c63ba901a9ee84545ebf1105439c51d40c41 21824 libcoq-mathcomp-bigenough_1.0.4-3+ocaml1_amd64.deb f085d0bfbd37ae58f63bdbc893215b815caf58d6ca0aa6d62eaf929dfeb3cf55 6781 mathcomp-bigenough_1.0.4-3+ocaml1_amd64.buildinfo Files: 2de21372fd3cbbddf920c34494ba16ee 1277 ocaml optional mathcomp-bigenough_1.0.4-3+ocaml1.dsc 122ea1456196afbf6fe0b396e059172a 12393 ocaml optional mathcomp-bigenough_1.0.4.orig.tar.gz b1632845a9cd74a2632d7c10e1ec2eed 9024 ocaml optional mathcomp-bigenough_1.0.4-3+ocaml1.debian.tar.xz 419e029d8abb40beeaa0b087753864d7 21824 ocaml optional libcoq-mathcomp-bigenough_1.0.4-3+ocaml1_amd64.deb 61f24b426dd9bd782bf6cf8594770709 6781 ocaml optional mathcomp-bigenough_1.0.4-3+ocaml1_amd64.buildinfo