Format: 1.8
Date: Sat, 07 Nov 2026 00:15:34 +0100
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.2
Checksums-Sha1:
 bc069741369bf8b34ea8fc89d04db006a2890de2 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
 6874a73ff058acdf2e3f9cf166602555cecbf937 8972 mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1.debian.tar.xz
 f6a10251ab7958efbddb678e729ea47f27b34dda 292616 libcoq-mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.deb
 7373d8d185731df7d59afded2c87799448bad452 6905 mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.buildinfo
Checksums-Sha256:
 6fc239b7c8da2480eaa71c55b7285756596b315900c5e6ddc7a38ab43c6b4773 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
 166f280e17373fd752ccb2c92184a0926a634933e263bdf499848a0294d7dc11 8972 mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1.debian.tar.xz
 7e1df7478cb3341063a95afcbcae6b24f4502df0c5d572a22ee43447040b4690 292616 libcoq-mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.deb
 dcbd50322743b02da12b73621d7f5c96e8150dace3e989fe20be405f6b9d66d9 6905 mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.buildinfo
Files:
 1cd12207cfb71dea409991cc10222c10 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
 b2ff69da4959b80eaaa2dc6eb6b3ca12 8972 ocaml optional mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1.debian.tar.xz
 67578221477ecc5d09a1ffddbbc66a9d 292616 ocaml optional libcoq-mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.deb
 eab3002b65d647c355cca50d75c54ca4 6905 ocaml optional mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.buildinfo