[ubuntu/questing-proposed] mathcomp-zify 1.5.0+2.0+8.16-4build6 (Accepted)

[Jeremy Bícha]

mathcomp-zify (1.5.0+2.0+8.16-4build6) questing; urgency=medium

  * Rebuild against latest coq libraries

Date: Thu, 08 May 2025 07:25:43 -0400
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/mathcomp-zify/1.5.0+2.0+8.16-4build6
-------------- next part --------------
Format: 1.8
Date: Thu, 08 May 2025 07:25:43 -0400
Source: mathcomp-zify
Built-For-Profiles: noudeb
Architecture: source
Version: 1.5.0+2.0+8.16-4build6
Distribution: questing
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 mathcomp-zify (1.5.0+2.0+8.16-4build6) questing; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 bf7e6a5263a85c8be708da808e78ead0ae3d8440 2152 mathcomp-zify_1.5.0+2.0+8.16-4build6.dsc
 48cc29f7b0a132e8831a7d75ab4f02336a1d76ea 8932 mathcomp-zify_1.5.0+2.0+8.16-4build6.debian.tar.xz
 c4fd9ad4b6c85b60b2a4f460ea85845e524e2175 6945 mathcomp-zify_1.5.0+2.0+8.16-4build6_source.buildinfo
Checksums-Sha256:
 f646b69d0b03c3133e5d4ac0b27855223bd498bb5e8d25909503d8da69e77e76 2152 mathcomp-zify_1.5.0+2.0+8.16-4build6.dsc
 9928041d1ba13320bd57e6a1b973496e58536e126c1b5989159e6183e61ab68d 8932 mathcomp-zify_1.5.0+2.0+8.16-4build6.debian.tar.xz
 fb146694fbce8937d6dc828c35f1b8e2826f2fdb015749669a2b940d645bd802 6945 mathcomp-zify_1.5.0+2.0+8.16-4build6_source.buildinfo
Files:
 835cf68e7c058227b58760833e4b3818 2152 ocaml optional mathcomp-zify_1.5.0+2.0+8.16-4build6.dsc
 fae560ac407b37e85afe16bfc6d1fab4 8932 ocaml optional mathcomp-zify_1.5.0+2.0+8.16-4build6.debian.tar.xz
 e570c4905f9c73195e664135f1efad47 6945 ocaml optional mathcomp-zify_1.5.0+2.0+8.16-4build6_source.buildinfo