[ubuntu/noble-proposed] mathcomp-zify 1.3.0+1.12+8.13-1build4 (Accepted)

[Jeremy Bícha]

mathcomp-zify (1.3.0+1.12+8.13-1build4) noble; urgency=medium

  * Rebuild against latest coq

Date: Sat, 23 Dec 2023 07:24:31 -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.3.0+1.12+8.13-1build4
-------------- next part --------------
Format: 1.8
Date: Sat, 23 Dec 2023 07:24:31 -0500
Source: mathcomp-zify
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3.0+1.12+8.13-1build4
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.3.0+1.12+8.13-1build4) noble; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 9797e245dcff596a7b91b39ad0acd99d03bad0ca 2159 mathcomp-zify_1.3.0+1.12+8.13-1build4.dsc
 744421638b72a6372ecf163e633b24191f2cb976 8744 mathcomp-zify_1.3.0+1.12+8.13-1build4.debian.tar.xz
 b0a6863e949fd0e902753fa29eb982fe42a95df9 7316 mathcomp-zify_1.3.0+1.12+8.13-1build4_source.buildinfo
Checksums-Sha256:
 a00099ef810eb8d7f92d58738996b7acfb4a41f1cafec308343cbd84e5c04c6b 2159 mathcomp-zify_1.3.0+1.12+8.13-1build4.dsc
 c77d76483b1a2c840c273030fb51a2b5873e56e6bc109c3a7fb6fbc273dc0978 8744 mathcomp-zify_1.3.0+1.12+8.13-1build4.debian.tar.xz
 a946d9625433f1e20d69b0f214a96e2fd0ed3b7c8f0bbeacd33481a8796c37d6 7316 mathcomp-zify_1.3.0+1.12+8.13-1build4_source.buildinfo
Files:
 3660dd80a050ce79664c79ad598c4719 2159 ocaml optional mathcomp-zify_1.3.0+1.12+8.13-1build4.dsc
 a3dc3ac77bdd0a82f5c85e10a35becbb 8744 ocaml optional mathcomp-zify_1.3.0+1.12+8.13-1build4.debian.tar.xz
 32284c88b1bad3129da07869b09a440f 7316 ocaml optional mathcomp-zify_1.3.0+1.12+8.13-1build4_source.buildinfo