Format: 1.8
Date: Wed, 11 Nov 2026 17:15:30 +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:
 a565d03ee343fe5ccb9819d9552b4c19d0018334 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
 c1679d49af0eb9f1687831eb79e8d5c0dc02e3d3 8976 mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1.debian.tar.xz
 42aaf5681ff4d621b6092f0583f1ba99a720b274 292492 libcoq-mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.deb
 7735abe7ea4deeab5d6926cf319aaca95c0f015b 6908 mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.buildinfo
Checksums-Sha256:
 cb3a760981c78148a0790891edf77a118cafc0fcc0962a3a89389d3951a5f8d9 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
 0db7267a9a267faa0a5f946ccefd3f7bdc6841adbc8c45dc420aff3bda295867 8976 mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1.debian.tar.xz
 4fb3de654feae35ca381b99d8e2b39ea69ac6ccf0273e3cda66d9ab920a8621b 292492 libcoq-mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.deb
 9d7a6d4e90a1f68ff7bd221e9913ff8ee8a71749f2c62a9e9b922397fc5c492b 6908 mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.buildinfo
Files:
 b67a73ca38b2fbe425d6e518c79c59ae 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
 9eb2f313f8e9ae576583ff75123fba26 8976 ocaml optional mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1.debian.tar.xz
 d5096c1b83c415c5fe36ed549fe815ea 292492 ocaml optional libcoq-mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.deb
 cf37d121f615c0263036062eaa8d0581 6908 ocaml optional mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.buildinfo