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

[Jeremy Bícha]

mathcomp-zify (1.5.0+2.0+8.16-3build1) oracular; urgency=medium

  * Rebuild against latest coq

Date: Mon, 05 Aug 2024 07:16:59 -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-3build1
-------------- next part --------------
Format: 1.8
Date: Mon, 05 Aug 2024 07:16:59 -0400
Source: mathcomp-zify
Built-For-Profiles: noudeb
Architecture: source
Version: 1.5.0+2.0+8.16-3build1
Distribution: oracular
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-3build1) oracular; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 c4ed5a2759a55a4b9d2d3a6f6a4f10bab2780c88 2152 mathcomp-zify_1.5.0+2.0+8.16-3build1.dsc
 31243c19c9f98358aabab4d1429489f97185b3cf 8764 mathcomp-zify_1.5.0+2.0+8.16-3build1.debian.tar.xz
 9857a58f8296b2590d870a0968dc12b1f282fffc 6829 mathcomp-zify_1.5.0+2.0+8.16-3build1_source.buildinfo
Checksums-Sha256:
 78e7553fc99078eb6ff8ed62f29e38b3b886a34240033c3a06442fc125c40f4b 2152 mathcomp-zify_1.5.0+2.0+8.16-3build1.dsc
 9f1ac44143c096ed33008f4af558ddb22105137765ff34b6126e9345f7d7ffda 8764 mathcomp-zify_1.5.0+2.0+8.16-3build1.debian.tar.xz
 97bad84488ad39c4ac43011e106eb41d4c06df2a69926f856d3f248f6202fbc4 6829 mathcomp-zify_1.5.0+2.0+8.16-3build1_source.buildinfo
Files:
 c35cba81e19f91c16c77a6959ae300be 2152 ocaml optional mathcomp-zify_1.5.0+2.0+8.16-3build1.dsc
 2951520c435d746baac844133c0e2c4a 8764 ocaml optional mathcomp-zify_1.5.0+2.0+8.16-3build1.debian.tar.xz
 50b9e5dd1ba3055cf0dcbce4ead75e7e 6829 ocaml optional mathcomp-zify_1.5.0+2.0+8.16-3build1_source.buildinfo