Format: 1.8
Date: Fri, 23 Oct 2026 20:10:04 +0200
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:
 85fdd0aff9d8399f8a06f4557d63a65dd711b21a 1566 mathcomp-analysis_1.17.0-1+ocaml1.dsc
 7a2d50ee3b8b718c18f679b4a686dc6469070f1f 1054482 mathcomp-analysis_1.17.0.orig.tar.gz
 e4dc8ce741298ac394972a7c50ed0797d9c3b645 9680 mathcomp-analysis_1.17.0-1+ocaml1.debian.tar.xz
 a46458a9f2ffeab4eb555d6a592d3aa2722f45ea 24839268 libcoq-mathcomp-analysis_1.17.0-1+ocaml1_amd64.deb
 84adeb1691ca5537830ee6d67e19309ea0ec4f36 4494540 libcoq-mathcomp-classical_1.17.0-1+ocaml1_amd64.deb
 18fe49f44b3482d93f8642ed299c2b151f67219c 7445 mathcomp-analysis_1.17.0-1+ocaml1_amd64.buildinfo
Checksums-Sha256:
 f576ee9bc3380ab4e6b573aa668259335f8808b50d0d10b3fb7d4421555ed7fa 1566 mathcomp-analysis_1.17.0-1+ocaml1.dsc
 44872722ff98bb06d165fe86430b6028290e8adc309759d5c9986a0bd5bfde52 1054482 mathcomp-analysis_1.17.0.orig.tar.gz
 d4c9015a35185dfd8d8dde946fe867263dbc0ffcdb1d77a02fc1f92164e3cc59 9680 mathcomp-analysis_1.17.0-1+ocaml1.debian.tar.xz
 048c2e864a1b5d84f8abb0c34468e1ee958ce1ba9a761146dad2f52dc4eb961c 24839268 libcoq-mathcomp-analysis_1.17.0-1+ocaml1_amd64.deb
 57eaf94d1a6c65c86af4fd3ad8151de2485b886524699a796d41c6f7871af03a 4494540 libcoq-mathcomp-classical_1.17.0-1+ocaml1_amd64.deb
 a4dd86f2bead1195b14eb09413ad040de8b1d0415a999cddeaa69a7ea3388fa8 7445 mathcomp-analysis_1.17.0-1+ocaml1_amd64.buildinfo
Files:
 eecb810d8b7956ad0df0ee1ee682c8cb 1566 ocaml optional mathcomp-analysis_1.17.0-1+ocaml1.dsc
 8dfa49c710a93867c0c60cc092e25377 1054482 ocaml optional mathcomp-analysis_1.17.0.orig.tar.gz
 0e47c1dd8df2b36058b24d4dd37042fb 9680 ocaml optional mathcomp-analysis_1.17.0-1+ocaml1.debian.tar.xz
 ea5088c30706eadac1839ac83d1545cf 24839268 ocaml optional libcoq-mathcomp-analysis_1.17.0-1+ocaml1_amd64.deb
 c3cc9a838c02a6b8b61c5dce6e3243ef 4494540 ocaml optional libcoq-mathcomp-classical_1.17.0-1+ocaml1_amd64.deb
 349ad255f7ff139972f4b3416b741a4a 7445 ocaml optional mathcomp-analysis_1.17.0-1+ocaml1_amd64.buildinfo