Format: 1.8
Date: Fri, 23 Oct 2026 20:07:47 +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.2
Checksums-Sha1:
 de9df78907362e09caf7ac6fec649666c0125fd9 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
 9532deccf97798ed0193c54d35d4aa3b66c879b6 8972 mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1.debian.tar.xz
 c34773a7dab6adfb377e27f3b0992a537c9241ef 292572 libcoq-mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.deb
 508e69aee9dee4e01bbf545d2f5df7480afaea1c 6851 mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.buildinfo
Checksums-Sha256:
 e05cb8583dd94c8334013ad8811312186c183dd761e3040d9a942cd690c68eb4 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
 d87108f4475dc69aedd960ab54b0dbb377d726223f6dcaafd198cd9e17c7c8d8 8972 mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1.debian.tar.xz
 034a47b63230d48d61df61d0f6f70654eba22c530066e9cabe7756a00474b088 292572 libcoq-mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.deb
 6f4b9dc26b4fd2777310cb402bfe14e12f323fa6278efa6bd268b7e877fc7b04 6851 mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.buildinfo
Files:
 bd07a53d3ffd2a43e799684586d1628d 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
 1d43be3a28f2c737275cba3fa85f1a31 8972 ocaml optional mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1.debian.tar.xz
 e62648546f35e254f1e6ca76eb20917e 292572 ocaml optional libcoq-mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.deb
 fb1edef447eeda8ac7fe9986e07a1f4c 6851 ocaml optional mathcomp-zify_1.7.0+2.4+9.0-1+ocaml1_amd64.buildinfo