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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Mon, 08 Apr 2024 09:15:25 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coq-unicoq/1.6-8.18-1build3
-------------- next part --------------
Format: 1.8
Date: Mon, 08 Apr 2024 09:15:25 +0200
Source: coq-unicoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6-8.18-1build3
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-unicoq (1.6-8.18-1build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 b042933e24cc46acc2b14f7d0cc7cc604d94daed 2172 coq-unicoq_1.6-8.18-1build3.dsc
 df1ecf9ae835dad351f84f36060c4ceeb98767a3 2792 coq-unicoq_1.6-8.18-1build3.debian.tar.xz
 7b3abc1403ca4fcd54d20f7b6c48b201fa9dc7a1 7840 coq-unicoq_1.6-8.18-1build3_source.buildinfo
Checksums-Sha256:
 0e50777639045229ebe2bad6ffaf5da265abaae471f6a002c3febef2f8666109 2172 coq-unicoq_1.6-8.18-1build3.dsc
 563bf376f8d20bb1cf2de48961f6826460e91f0b23794011b24616fcd05074d7 2792 coq-unicoq_1.6-8.18-1build3.debian.tar.xz
 d7852029d0e0c9f828b1ad81da7f645349a50ef1bbef571b73dc27ae803f174c 7840 coq-unicoq_1.6-8.18-1build3_source.buildinfo
Files:
 66cb4d17a3f52f13f7711cf871849b1f 2172 ocaml optional coq-unicoq_1.6-8.18-1build3.dsc
 e8db00bf7f0199a30e01dfae512b9fa3 2792 ocaml optional coq-unicoq_1.6-8.18-1build3.debian.tar.xz
 c94e08d963805daead96b49724b3fea6 7840 ocaml optional coq-unicoq_1.6-8.18-1build3_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>