Format: 1.8
Date: Sat, 07 Nov 2026 00:17:44 +0100
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis libcoq-mathcomp-classical
Architecture: source amd64
Version: 1.17.0-1+ocaml1
Distribution: unstable-ocaml
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Anonymous Builder <builder@example.org>
Description:
 libcoq-mathcomp-analysis - analysis extension for Mathematical Components
 libcoq-mathcomp-classical - classical logic extension for Mathematical Components
Changes:
 mathcomp-analysis (1.17.0-1+ocaml1) unstable-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.5.2
Checksums-Sha1:
 509d8ef34e67333f0af2407046771668e043bb5e 1566 mathcomp-analysis_1.17.0-1+ocaml1.dsc
 7a2d50ee3b8b718c18f679b4a686dc6469070f1f 1054482 mathcomp-analysis_1.17.0.orig.tar.gz
 3cfde4582fe4e6f3473e14660d69db6a42fbff83 9676 mathcomp-analysis_1.17.0-1+ocaml1.debian.tar.xz
 39440957c7289d834ce1317fac5d0794ce5a5f0e 24854212 libcoq-mathcomp-analysis_1.17.0-1+ocaml1_amd64.deb
 6ac8d1a0dda3fef673616dc8cacc094af3d3e7a1 4490744 libcoq-mathcomp-classical_1.17.0-1+ocaml1_amd64.deb
 4685380b8e4a02f054491993daca607866c83cfe 7499 mathcomp-analysis_1.17.0-1+ocaml1_amd64.buildinfo
Checksums-Sha256:
 2de89f085a13cdc162e680aeafb5b3ed69f8484084aa326c91ab4e2c1f73dd88 1566 mathcomp-analysis_1.17.0-1+ocaml1.dsc
 44872722ff98bb06d165fe86430b6028290e8adc309759d5c9986a0bd5bfde52 1054482 mathcomp-analysis_1.17.0.orig.tar.gz
 35179f2383302e1183b4539483c7b439caa2cd3f944b871091d892451fbfb2f7 9676 mathcomp-analysis_1.17.0-1+ocaml1.debian.tar.xz
 17f30e79d06e36ee4a39881f963cebc0a20e82690193f73bae5736b7b7a2c714 24854212 libcoq-mathcomp-analysis_1.17.0-1+ocaml1_amd64.deb
 596d6319dcce49383ee619c85243dd69a8c0d04b23ba3cf0d3bbd896d724595b 4490744 libcoq-mathcomp-classical_1.17.0-1+ocaml1_amd64.deb
 b739e4881b211874ecd75d18b2c9adce1fe2b9264248869c0fb94e5c4354edc4 7499 mathcomp-analysis_1.17.0-1+ocaml1_amd64.buildinfo
Files:
 5d623de31ec67bc3c66672e02e232ced 1566 ocaml optional mathcomp-analysis_1.17.0-1+ocaml1.dsc
 8dfa49c710a93867c0c60cc092e25377 1054482 ocaml optional mathcomp-analysis_1.17.0.orig.tar.gz
 3c631ce71ce407703486211c24b9d380 9676 ocaml optional mathcomp-analysis_1.17.0-1+ocaml1.debian.tar.xz
 b4cad368d13f61032c843153b9fcca13 24854212 ocaml optional libcoq-mathcomp-analysis_1.17.0-1+ocaml1_amd64.deb
 e21b02704124331fb10b223acbbc6868 4490744 ocaml optional libcoq-mathcomp-classical_1.17.0-1+ocaml1_amd64.deb
 47345f3a697c682f43fe92d369a75cb6 7499 ocaml optional mathcomp-analysis_1.17.0-1+ocaml1_amd64.buildinfo