[ubuntu/resolute-proposed] coq-unicoq 1.6-8.20-1build5 (Accepted)

[Gianfranco Costamagna]

coq-unicoq (1.6-8.20-1build5) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 05 Jan 2026 18:31:44 +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.20-1build5
-------------- next part --------------
Format: 1.8
Date: Mon, 05 Jan 2026 18:31:44 +0100
Source: coq-unicoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6-8.20-1build5
Distribution: resolute
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.20-1build5) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 65bf8b8b0d66906ff8dac2830196ef4515f08370 2093 coq-unicoq_1.6-8.20-1build5.dsc
 99ed465a22664c6255a43cf5bbe6129415a6ab2a 2932 coq-unicoq_1.6-8.20-1build5.debian.tar.xz
 a725ae33b14888c3b4f09c2714d17a85c90c2ffe 7867 coq-unicoq_1.6-8.20-1build5_source.buildinfo
Checksums-Sha256:
 d5c3202853ccde1dd466aa6876998cd92ad83bbb45be0da1d80223e691e907f2 2093 coq-unicoq_1.6-8.20-1build5.dsc
 25a015314b0be6ebeeec3a62100dc8be5179848497f6a406361b84c866f4a752 2932 coq-unicoq_1.6-8.20-1build5.debian.tar.xz
 9331191b9bd81b02d31d28ea5b25ea2337e116e5a16f320c60e62f9cc81fe504 7867 coq-unicoq_1.6-8.20-1build5_source.buildinfo
Files:
 8227317f8b218bdad5d6ca10c885d3c6 2093 ocaml optional coq-unicoq_1.6-8.20-1build5.dsc
 998f1e86132bc6c680a26697bb60394c 2932 ocaml optional coq-unicoq_1.6-8.20-1build5.debian.tar.xz
 ed91ad8bee7d6dd8ce3030ff307b2a2b 7867 ocaml optional coq-unicoq_1.6-8.20-1build5_source.buildinfo