[ubuntu/plucky-proposed] coq-unicoq 1.6-8.20-1build1 (Accepted)

[Jeremy Bícha]

coq-unicoq (1.6-8.20-1build1) plucky; urgency=medium

  * Rebuild against latest ocaml

Date: Sat, 01 Feb 2025 20:17:43 -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/coq-unicoq/1.6-8.20-1build1
-------------- next part --------------
Format: 1.8
Date: Sat, 01 Feb 2025 20:17:43 -0500
Source: coq-unicoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6-8.20-1build1
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:
 coq-unicoq (1.6-8.20-1build1) plucky; urgency=medium
 .
   * Rebuild against latest ocaml
Checksums-Sha1:
 8592c6fc3ee1447b8816be3d4894339bbe1e7b9b 2093 coq-unicoq_1.6-8.20-1build1.dsc
 3d98fb165ad03333e8ebee578368d397bf1389c3 2788 coq-unicoq_1.6-8.20-1build1.debian.tar.xz
 622fd2057a3b01dd4ed21ee25c160dad40788824 7066 coq-unicoq_1.6-8.20-1build1_source.buildinfo
Checksums-Sha256:
 440bc9cd69bb2f0247dc5791294990ca8afb2339e033bed3893f5291fe404139 2093 coq-unicoq_1.6-8.20-1build1.dsc
 b5e07130b04ab2163b6ece0f31c0241196bba64e78c88cc0dd20f0042521e48e 2788 coq-unicoq_1.6-8.20-1build1.debian.tar.xz
 5c7a913653c937b8e7f8f2f063cc3d94450102b8ccd8cbc18e5260b14ee2b54e 7066 coq-unicoq_1.6-8.20-1build1_source.buildinfo
Files:
 a4f2ec3d11e5e16991b861d6db35f074 2093 ocaml optional coq-unicoq_1.6-8.20-1build1.dsc
 31ef85655fbfc8c04a56af3a98c93832 2788 ocaml optional coq-unicoq_1.6-8.20-1build1.debian.tar.xz
 c7bdc5174d1fabb8046313037f156762 7066 ocaml optional coq-unicoq_1.6-8.20-1build1_source.buildinfo