[ubuntu/noble-proposed] coq-unicoq 1.6-8.17-1build3 (Accepted)

[Gianfranco Costamagna]

coq-unicoq (1.6-8.17-1build3) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 23 Nov 2023 00:42:24 +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.17-1build3
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Nov 2023 00:42:24 +0100
Source: coq-unicoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6-8.17-1build3
Distribution: noble
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.17-1build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 8a78b692776cfa15229b6c37f20aeb24d7a5ca9f 2083 coq-unicoq_1.6-8.17-1build3.dsc
 5291592bacf37be2e22ae839b96307df0bc163bc 2588 coq-unicoq_1.6-8.17-1build3.debian.tar.xz
 4458678a7ccdb47596419157e9f8ab178978c59b 7820 coq-unicoq_1.6-8.17-1build3_source.buildinfo
Checksums-Sha256:
 059dbd5463d87d7c314b4bf6dbdc1f31b25aa80d818a752dafa35eaf6065d98c 2083 coq-unicoq_1.6-8.17-1build3.dsc
 97479caeaaedc95b59719feac323fd9be1c216f1775284a86da32b40b51ab57c 2588 coq-unicoq_1.6-8.17-1build3.debian.tar.xz
 d95e28d94b3031f794872e3d7ce8b770ca6cb70567ee03bf98f05b419e85af22 7820 coq-unicoq_1.6-8.17-1build3_source.buildinfo
Files:
 2a1178cdb5f0114d4d04c54cb9a6d75c 2083 ocaml optional coq-unicoq_1.6-8.17-1build3.dsc
 5c93fb5cae43eb6c6d79416bcd12dd14 2588 ocaml optional coq-unicoq_1.6-8.17-1build3.debian.tar.xz
 7239b9b9c3e2ecf069e0c7226d43ad8c 7820 ocaml optional coq-unicoq_1.6-8.17-1build3_source.buildinfo