Format: 1.8
Date: Tue, 08 Sep 2026 01:45:27 +0200
Source: mathcomp-zify
Binary: libcoq-mathcomp-zify
Architecture: source amd64
Version: 1.7.0+2.4+9.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-zify - Micromega arithmetic solvers for Mathematical Components
Changes:
 mathcomp-zify (1.7.0+2.4+9.0-1+ocaml1) unstable-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.5.1
Checksums-Sha1:
 b9ae93e848831e9c17db0f830abfc6cb244f8451 1273 mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1.dsc
 99c73fc41a0a2393ed0fbd686a0937cdc221c33d 21067 mathcomp-zify_1.7.0+2.4+9.0.orig.tar.gz
 ba678e471ed5de3f08982be79bb1f0ce98bdb3a9 8976 mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1.debian.tar.xz
 71b6825b7cc1116484815966b1e8da5bc4d1e274 292316 libcoq-mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.deb
 dc27f12318767a3684f59a77b428a6c85218ad83 6757 mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.buildinfo
Checksums-Sha256:
 3330752e534640f0eb72c4d1aa73157138b7964a9a48bf150a5dc40b137f0d64 1273 mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1.dsc
 a6ad25eab52e1ac8b9b08df7bbd80bbc312a75aa8e9c675a1dfe42400b18baf0 21067 mathcomp-zify_1.7.0+2.4+9.0.orig.tar.gz
 6ef4e35dbca16aa86db810124b84d4a6b141d799989c18476170f9e452df983e 8976 mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1.debian.tar.xz
 346a796e569744efc19b2471814f4fc840caeb947d48cf673f97850e63a55fa5 292316 libcoq-mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.deb
 12d2fdf5d6ef0c0932e1c071ee13f243e6f360951047c0a83fc6983838d304d6 6757 mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.buildinfo
Files:
 a36a18c0cc228ce8521aa363fa37e77d 1273 ocaml optional mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1.dsc
 7bb8625b236bef09ea13d478fd797e3a 21067 ocaml optional mathcomp-zify_1.7.0+2.4+9.0.orig.tar.gz
 8bf1cbec88a592275cee467adbd523cf 8976 ocaml optional mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1.debian.tar.xz
 16f60044c91b8e74892c5d4de83fae7a 292316 ocaml optional libcoq-mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.deb
 9293ccbae00816c836aca5ec0d64c716 6757 ocaml optional mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.buildinfo