[ubuntu/resolute-proposed] coq-reglang 1.2.1-4build18 (Accepted)

[Gianfranco Costamagna]

coq-reglang (1.2.1-4build18) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 06 Nov 2025 09:04:47 +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-reglang/1.2.1-4build18
-------------- next part --------------
Format: 1.8
Date: Thu, 06 Nov 2025 09:04:47 +0100
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.1-4build18
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-reglang (1.2.1-4build18) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 6f782f868328cb9fed863544f869a58c346060bb 2120 coq-reglang_1.2.1-4build18.dsc
 5fa925145474670a1563199d231e5840a083127d 9028 coq-reglang_1.2.1-4build18.debian.tar.xz
 c3c96da6eeb5c3a9767f6f982d4f62312ff54660 7883 coq-reglang_1.2.1-4build18_source.buildinfo
Checksums-Sha256:
 3e36811332d82b02f102245b7b1ea2e7e93a0fc04d521fde1e74c42eec8584f2 2120 coq-reglang_1.2.1-4build18.dsc
 7af210a1b25a881de98d24ed2afd2b30118d26b622506415bd108bd85f3e6d9e 9028 coq-reglang_1.2.1-4build18.debian.tar.xz
 63b8eb4d54a478acb03b8a36b92e3cf663672d47fac6d4ad28d8a0affbc75ef6 7883 coq-reglang_1.2.1-4build18_source.buildinfo
Files:
 fe7975beb1486e7559b16002a685eb2b 2120 ocaml optional coq-reglang_1.2.1-4build18.dsc
 4de1340b44deb6e3a359ac3e22ceb423 9028 ocaml optional coq-reglang_1.2.1-4build18.debian.tar.xz
 8cda1ea677d47ff4591cccbbf32dd5ce 7883 ocaml optional coq-reglang_1.2.1-4build18_source.buildinfo