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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Sat, 15 Jun 2024 17:23:07 +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-1build1
-------------- next part --------------
Format: 1.8
Date: Sat, 15 Jun 2024 17:23:07 +0200
Source: coq-unicoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6-8.19-1build1
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-1build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 3dd389704875426b9a767e6c20aa4408817f67f1 2093 coq-unicoq_1.6-8.19-1build1.dsc
 2ec757245bade6aba30a9ddf0b8d4fc2a95f382a 2680 coq-unicoq_1.6-8.19-1build1.debian.tar.xz
 7aa3351f1838c8ef0e59ed6f4c16583239067ac3 7840 coq-unicoq_1.6-8.19-1build1_source.buildinfo
Checksums-Sha256:
 c50fe062b23487634b3663544ae210d22139f39d5be63ca4eff91ce51fbba98e 2093 coq-unicoq_1.6-8.19-1build1.dsc
 a645a0340d258e4695e91a41399531825a707b382387600f071902f93ecf89bf 2680 coq-unicoq_1.6-8.19-1build1.debian.tar.xz
 c566628d4d5209befad1d285fbc55359e696d8f2f4a12aaeaa003e706fa89f82 7840 coq-unicoq_1.6-8.19-1build1_source.buildinfo
Files:
 c4e47d53c20ae52d1a56ad185ee88375 2093 ocaml optional coq-unicoq_1.6-8.19-1build1.dsc
 6a39b4a714cf395c200b3cfc2a5cb365 2680 ocaml optional coq-unicoq_1.6-8.19-1build1.debian.tar.xz
 008c3fc69f271158ac3761960eb91e3c 7840 ocaml optional coq-unicoq_1.6-8.19-1build1_source.buildinfo