[ubuntu/noble-proposed] mathcomp-zify 1.5.0+2.0+8.16-1build1 (Accepted)

[Jeremy Bícha]

mathcomp-zify (1.5.0+2.0+8.16-1build1) noble; urgency=medium

  * Rebuild against latest coq libraries

Date: Sat, 27 Jan 2024 19:51:42 -0500
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-1build1
-------------- next part --------------
Format: 1.8
Date: Sat, 27 Jan 2024 19:51:42 -0500
Source: mathcomp-zify
Built-For-Profiles: noudeb
Architecture: source
Version: 1.5.0+2.0+8.16-1build1
Distribution: noble
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-1build1) noble; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 5d23f77e9a5acbad18603366cce7e096e112e7c3 2152 mathcomp-zify_1.5.0+2.0+8.16-1build1.dsc
 0ce318ea70efee6927fa72015d96995e80938bd6 8676 mathcomp-zify_1.5.0+2.0+8.16-1build1.debian.tar.xz
 afd13c37954650c3ad9e546418e2949be6936c77 7679 mathcomp-zify_1.5.0+2.0+8.16-1build1_source.buildinfo
Checksums-Sha256:
 4717c21f307944c779dc202540306a1a295416cd4d17ce0e1f82fc51031e5726 2152 mathcomp-zify_1.5.0+2.0+8.16-1build1.dsc
 9bb4bb90b479e45cc27b4f2639b2360056ae1e0d7008df0ff495cc8048234ff0 8676 mathcomp-zify_1.5.0+2.0+8.16-1build1.debian.tar.xz
 a328f990e1201ddaa590c84f69ef4b36b162a35105a93318e733bf89b308bbf9 7679 mathcomp-zify_1.5.0+2.0+8.16-1build1_source.buildinfo
Files:
 e970dacbbaf24343f3df8412394ec945 2152 ocaml optional mathcomp-zify_1.5.0+2.0+8.16-1build1.dsc
 7275741e76df416939bae53f43bdb909 8676 ocaml optional mathcomp-zify_1.5.0+2.0+8.16-1build1.debian.tar.xz
 6fc3d91d9ff6b86d6e52a599471b9b65 7679 ocaml optional mathcomp-zify_1.5.0+2.0+8.16-1build1_source.buildinfo