[ubuntu/oracular-proposed] coq-unicoq 1.6-8.19-2build1 (Accepted)

[Gianfranco Costamagna]

coq-unicoq (1.6-8.19-2build1) oracular; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 15 Aug 2024 08:39:12 +0200
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.19-2build1
-------------- next part --------------
Format: 1.8
Date: Thu, 15 Aug 2024 08:39:12 +0200
Source: coq-unicoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6-8.19-2build1
Distribution: oracular
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.19-2build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 8a4e1e80b3f41c803027f25bdbe6513bafb3ff32 2093 coq-unicoq_1.6-8.19-2build1.dsc
 120bd8cf837118905c5e8748a19dbeb9b6e5b2d3 2748 coq-unicoq_1.6-8.19-2build1.debian.tar.xz
 9344fc7d04edcb8b0eaccbe27541d322305e298a 7864 coq-unicoq_1.6-8.19-2build1_source.buildinfo
Checksums-Sha256:
 0d32f173d96d484dc27217c872eb70f5b381101badb5e09a39731067efb10b90 2093 coq-unicoq_1.6-8.19-2build1.dsc
 5e37303928dce44327db35c2e3c93dde4e883a600521394b10b21c3e2ac5b0a7 2748 coq-unicoq_1.6-8.19-2build1.debian.tar.xz
 bc1e86a985053f7d549be3ceabf44196d4412ceef210e140a1bce9da50647e35 7864 coq-unicoq_1.6-8.19-2build1_source.buildinfo
Files:
 7ee62831e993db6f4f5782e378d40952 2093 ocaml optional coq-unicoq_1.6-8.19-2build1.dsc
 2f702770befecae4910ed9a118624990 2748 ocaml optional coq-unicoq_1.6-8.19-2build1.debian.tar.xz
 eebc895b1a382308465ea2bfc30fc8ca 7864 ocaml optional coq-unicoq_1.6-8.19-2build1_source.buildinfo