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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Mon, 06 Nov 2023 17:13:17 +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-1build2
-------------- next part --------------
Format: 1.8
Date: Mon, 06 Nov 2023 17:13:17 +0100
Source: coq-unicoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6-8.17-1build2
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-1build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 5c2f8d6311191305cf92a7ffa411d5a91c112b36 2083 coq-unicoq_1.6-8.17-1build2.dsc
 47988cff1f27dc6399a412da3275170f23134aa4 2572 coq-unicoq_1.6-8.17-1build2.debian.tar.xz
 1c5b395872b92e94fd575fea61f1951ca80523a5 7820 coq-unicoq_1.6-8.17-1build2_source.buildinfo
Checksums-Sha256:
 58d510d2c4150071b54094ca1213171fc46628c575229da8d418093bea244f97 2083 coq-unicoq_1.6-8.17-1build2.dsc
 62f79eff69eed4053947c46ec7057d31fecdcf1d6d013be931e7917f5499fe33 2572 coq-unicoq_1.6-8.17-1build2.debian.tar.xz
 5cc511a166df91b43a3a8bafb0fa5d12e443175c9bf33bc642cd9aeb10bb9c28 7820 coq-unicoq_1.6-8.17-1build2_source.buildinfo
Files:
 490e0d8b13f116d7b7985e4a36619fcb 2083 ocaml optional coq-unicoq_1.6-8.17-1build2.dsc
 592338dc6f910102ff37695940e57a4f 2572 ocaml optional coq-unicoq_1.6-8.17-1build2.debian.tar.xz
 22239f9a59143479574fbdd75ebb86ba 7820 ocaml optional coq-unicoq_1.6-8.17-1build2_source.buildinfo