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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 14 Feb 2025 00:35:01 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-unicoq/1.6-8.20-1build2
-------------- next part --------------
Format: 1.8
Date: Fri, 14 Feb 2025 00:35:01 +0100
Source: coq-unicoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6-8.20-1build2
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-unicoq (1.6-8.20-1build2) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 e43d77582d85343d55a37a5ab3148db2862a93c9 2093 coq-unicoq_1.6-8.20-1build2.dsc
 eb526c7712e0a94778434ce0b8a7d2bdde417247 2848 coq-unicoq_1.6-8.20-1build2.debian.tar.xz
 9e4855c855bcf52d5d10fa526e7aa0f170befa65 7311 coq-unicoq_1.6-8.20-1build2_source.buildinfo
Checksums-Sha256:
 ab4ae61cc113dc99f065383518bcde2b8a722f94e1355e151bea3cbd3ed4254b 2093 coq-unicoq_1.6-8.20-1build2.dsc
 4255a1142e864487a9e8dfea996c3eec50ee056dc8820bfb75019c2028020632 2848 coq-unicoq_1.6-8.20-1build2.debian.tar.xz
 8dd0020deb8f66fddf469f846e8e77c6f35f5d6ecb63a8da52b4a7ad69e34105 7311 coq-unicoq_1.6-8.20-1build2_source.buildinfo
Files:
 1ea3a17bfe4ddbb89df48af314e886cf 2093 ocaml optional coq-unicoq_1.6-8.20-1build2.dsc
 f74857ef5b6a979d2ce15ec6c67ee023 2848 ocaml optional coq-unicoq_1.6-8.20-1build2.debian.tar.xz
 5ef8d65672d4a9032381c882454d61d7 7311 ocaml optional coq-unicoq_1.6-8.20-1build2_source.buildinfo