Format: 1.8
Date: Tue, 08 Sep 2026 02:23:30 +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.1
Checksums-Sha1:
 5aa4aa8c6d02de040028513da7a83da900fa15a8 1566 mathcomp-analysis_1.17.0-1+ocaml1.dsc
 7a2d50ee3b8b718c18f679b4a686dc6469070f1f 1054482 mathcomp-analysis_1.17.0.orig.tar.gz
 f4eaca5aee866ccc1a229c890fd42404a35dfac3 9676 mathcomp-analysis_1.17.0-1+ocaml1.debian.tar.xz
 6eb343193e06b3d5e27391d3694d26ff715e2b31 24856444 libcoq-mathcomp-analysis_1.17.0-1+ocaml1_amd64.deb
 6d92453557701c8f10012093f9b8178d6353a65b 4494720 libcoq-mathcomp-classical_1.17.0-1+ocaml1_amd64.deb
 94049c77c7cf91679ef77a7f481839198fd28b55 7351 mathcomp-analysis_1.17.0-1+ocaml1_amd64.buildinfo
Checksums-Sha256:
 e9c67050e72f2f6e727aa2e9a6ce2e5de06ce77f6f916ebfa27880eb4760511f 1566 mathcomp-analysis_1.17.0-1+ocaml1.dsc
 44872722ff98bb06d165fe86430b6028290e8adc309759d5c9986a0bd5bfde52 1054482 mathcomp-analysis_1.17.0.orig.tar.gz
 5ae5c3475fad673c1554b2d2ee148d830450c0f7526d6c98b1772383a15bcb80 9676 mathcomp-analysis_1.17.0-1+ocaml1.debian.tar.xz
 f85d3e9677e04f80cd25c87227fbe9ef0ba2048152bb4d1bc3a8b0f45ccb459c 24856444 libcoq-mathcomp-analysis_1.17.0-1+ocaml1_amd64.deb
 e9180a6317f45687e6a65152400d3e3a2290ac768075f9bc6b4dc2e5ae4ff9c0 4494720 libcoq-mathcomp-classical_1.17.0-1+ocaml1_amd64.deb
 2c1e33514a171e843a0e6f0a6eaebc1c9d4dd9379cc5734a7f6d5d703ab62075 7351 mathcomp-analysis_1.17.0-1+ocaml1_amd64.buildinfo
Files:
 b3ce4a0d401c754283dd6c5642c244a1 1566 ocaml optional mathcomp-analysis_1.17.0-1+ocaml1.dsc
 8dfa49c710a93867c0c60cc092e25377 1054482 ocaml optional mathcomp-analysis_1.17.0.orig.tar.gz
 c7568fd9ca358db78cacfaf337010781 9676 ocaml optional mathcomp-analysis_1.17.0-1+ocaml1.debian.tar.xz
 d53f49864259c77af19905f2b575745f 24856444 ocaml optional libcoq-mathcomp-analysis_1.17.0-1+ocaml1_amd64.deb
 1727c2f987797b5147705b6bc227edd6 4494720 ocaml optional libcoq-mathcomp-classical_1.17.0-1+ocaml1_amd64.deb
 65bbf447dd7813233e0b0bd174c60989 7351 ocaml optional mathcomp-analysis_1.17.0-1+ocaml1_amd64.buildinfo