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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Sun, 04 Jan 2026 23:28:42 +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-4build19
-------------- next part --------------
Format: 1.8
Date: Sun, 04 Jan 2026 23:28:42 +0100
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.1-4build19
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-4build19) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 9ddd1d76654b217ea79942d8e080798760aee9ce 2120 coq-reglang_1.2.1-4build19.dsc
 a4e19fc88827274017d7cf2dea1349c4a9a465ca 9044 coq-reglang_1.2.1-4build19.debian.tar.xz
 2e5240b8ba1049c11e71c68edfafcabc947e9c8b 7889 coq-reglang_1.2.1-4build19_source.buildinfo
Checksums-Sha256:
 565379150915d5bb9af8052c15d47917b9265ccea391573f02f92542c7f34167 2120 coq-reglang_1.2.1-4build19.dsc
 3b8fee7be51f5fa731cc9f37b30a8f26ee37b8ee4a36918a1a55329f73daa88f 9044 coq-reglang_1.2.1-4build19.debian.tar.xz
 88afce2ee28290be94bfc0c47590c03a3a9688c7b6b60d9942c2434f22ba8a30 7889 coq-reglang_1.2.1-4build19_source.buildinfo
Files:
 c1660a49d00205a467b477689e57a1df 2120 ocaml optional coq-reglang_1.2.1-4build19.dsc
 ac344364cc9469a5cead0709935484c1 9044 ocaml optional coq-reglang_1.2.1-4build19.debian.tar.xz
 f341a1909a58cc5dd3b444492f281934 7889 ocaml optional coq-reglang_1.2.1-4build19_source.buildinfo