Format: 1.8
Date: Wed, 11 Nov 2026 17:17:35 +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:
 1547526ce73145b34027300ecbde46845dc50d9b 1566 mathcomp-analysis_1.17.0-1+ocaml1.dsc
 7a2d50ee3b8b718c18f679b4a686dc6469070f1f 1054482 mathcomp-analysis_1.17.0.orig.tar.gz
 05d57a0bba7bb78c38ff12fb5136ed44f32f5fcb 9672 mathcomp-analysis_1.17.0-1+ocaml1.debian.tar.xz
 b68b4d8a10235926fb6d0af9a3eaaf1ecdba1b22 24847004 libcoq-mathcomp-analysis_1.17.0-1+ocaml1_amd64.deb
 ebc3c944eca6f188399e53b4420e53e74733f2ed 4490392 libcoq-mathcomp-classical_1.17.0-1+ocaml1_amd64.deb
 d25f12b207a34fa3ac3b2439dfa8a045a259b937 7502 mathcomp-analysis_1.17.0-1+ocaml1_amd64.buildinfo
Checksums-Sha256:
 2b836d20e03de2c5317dbddf51cc86e0f2e8033b950e1b8ca8c8d717a5e8b889 1566 mathcomp-analysis_1.17.0-1+ocaml1.dsc
 44872722ff98bb06d165fe86430b6028290e8adc309759d5c9986a0bd5bfde52 1054482 mathcomp-analysis_1.17.0.orig.tar.gz
 e5ba03a9fa20f496036f030137c7a4949b3de4ae2bac27acc07e791a945eb659 9672 mathcomp-analysis_1.17.0-1+ocaml1.debian.tar.xz
 e48eedc1073829be579c321b9a2afdb1d54cf9d11c99abed09891dc3f7a27984 24847004 libcoq-mathcomp-analysis_1.17.0-1+ocaml1_amd64.deb
 abf0bad782e6a90fbb93b4c55bb7c3a5142b0395d597ae90dc217f412fa224bf 4490392 libcoq-mathcomp-classical_1.17.0-1+ocaml1_amd64.deb
 03c1bc85d8b5796ed40517271a7660d862e5e63bb226b3f399345bedc2ef0618 7502 mathcomp-analysis_1.17.0-1+ocaml1_amd64.buildinfo
Files:
 e2c8e8447963893970846562f96415a0 1566 ocaml optional mathcomp-analysis_1.17.0-1+ocaml1.dsc
 8dfa49c710a93867c0c60cc092e25377 1054482 ocaml optional mathcomp-analysis_1.17.0.orig.tar.gz
 1bdfae68c21f4776544e0c08f7f35e52 9672 ocaml optional mathcomp-analysis_1.17.0-1+ocaml1.debian.tar.xz
 47bc92679ee7d22b40e3bf4958a2aa2f 24847004 ocaml optional libcoq-mathcomp-analysis_1.17.0-1+ocaml1_amd64.deb
 3475a1ef47293abde24773a0e0896252 4490392 ocaml optional libcoq-mathcomp-classical_1.17.0-1+ocaml1_amd64.deb
 affde257b00662c7d600df62f04f085a 7502 ocaml optional mathcomp-analysis_1.17.0-1+ocaml1_amd64.buildinfo