[ubuntu/questing-proposed] coq-unicoq 1.6-8.20-1build4 (Accepted)

[Gianfranco Costamagna]

coq-unicoq (1.6-8.20-1build4) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Fri, 20 Jun 2025 13:28:47 +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.20-1build4
-------------- next part --------------
Format: 1.8
Date: Fri, 20 Jun 2025 13:28:47 +0200
Source: coq-unicoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6-8.20-1build4
Distribution: questing
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-1build4) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 c87a399f2bc65eaafb060fb03e8760d241676a27 2093 coq-unicoq_1.6-8.20-1build4.dsc
 307b17bcf81194749eb05d07775eb319cb81b0d1 2916 coq-unicoq_1.6-8.20-1build4.debian.tar.xz
 abf745717aa4bf4cb87f548ec296c909aa2785b5 6874 coq-unicoq_1.6-8.20-1build4_source.buildinfo
Checksums-Sha256:
 5a130bf0c0c89d65edb13c07cec46ae32dd471c60583acd29260ab08a247dd9a 2093 coq-unicoq_1.6-8.20-1build4.dsc
 42460a538e140385e077e267c272d63e55b6ab0e1b51967d416eac05d4051b96 2916 coq-unicoq_1.6-8.20-1build4.debian.tar.xz
 2fe292fa5a79de36d882fe5ae4ff7f2f01d5b59f334168b277c67a3b4e6ca132 6874 coq-unicoq_1.6-8.20-1build4_source.buildinfo
Files:
 f2eb616da481c1bed103dde93e069a03 2093 ocaml optional coq-unicoq_1.6-8.20-1build4.dsc
 7b193264a96a38cd8a29a1a7a084ecf7 2916 ocaml optional coq-unicoq_1.6-8.20-1build4.debian.tar.xz
 8fa71bf154a5edff89a907da46b3cc25 6874 ocaml optional coq-unicoq_1.6-8.20-1build4_source.buildinfo