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

[Jeremy Bícha]

mathcomp-zify (1.5.0+2.0+8.16-4build1) plucky; urgency=medium

  * Rebuild against latest coq libraries

Date: Fri, 20 Dec 2024 08:43:40 -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-4build1
-------------- next part --------------
Format: 1.8
Date: Fri, 20 Dec 2024 08:43:40 -0500
Source: mathcomp-zify
Built-For-Profiles: noudeb
Architecture: source
Version: 1.5.0+2.0+8.16-4build1
Distribution: plucky
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-4build1) plucky; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 111a6f07f49f34bb149c03d05193d9db083ba24b 2152 mathcomp-zify_1.5.0+2.0+8.16-4build1.dsc
 8c4fd3adf01298d7da6803f931973e908591ce4d 8820 mathcomp-zify_1.5.0+2.0+8.16-4build1.debian.tar.xz
 448a6f9d04335a891fa715f3d9c4c1cb02ed908b 7136 mathcomp-zify_1.5.0+2.0+8.16-4build1_source.buildinfo
Checksums-Sha256:
 bd8b299008ac7d2231e6fb4ecb8dd952696393e318cff53d60e7d3d20280de28 2152 mathcomp-zify_1.5.0+2.0+8.16-4build1.dsc
 15934eb4cd15aad2c36149db9a6f5c1f04371092695b860108446ba3411cbfd0 8820 mathcomp-zify_1.5.0+2.0+8.16-4build1.debian.tar.xz
 442d98567535f0ee1be6158102f2ae8c463729ac2d2ea746dfcca476032ea41e 7136 mathcomp-zify_1.5.0+2.0+8.16-4build1_source.buildinfo
Files:
 de367f3d3761376a96db061bb3503aa6 2152 ocaml optional mathcomp-zify_1.5.0+2.0+8.16-4build1.dsc
 408b5af163c7c6ae56c56fc9686b4176 8820 ocaml optional mathcomp-zify_1.5.0+2.0+8.16-4build1.debian.tar.xz
 17bd957b723a1e6026b6ced695a75884 7136 ocaml optional mathcomp-zify_1.5.0+2.0+8.16-4build1_source.buildinfo