[ubuntu/noble-proposed] coq-reglang 1.1.3-4build3 (Accepted)

[Gianfranco Costamagna]

coq-reglang (1.1.3-4build3) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 23 Nov 2023 00:42:07 +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.1.3-4build3
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Nov 2023 00:42:07 +0100
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.3-4build3
Distribution: noble
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.1.3-4build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 01bc3ca604d28f61cc8bbdb624dc98907b4f1072 2116 coq-reglang_1.1.3-4build3.dsc
 1b2a64f7f80a708dded1b78d559b74b9061da9c2 8544 coq-reglang_1.1.3-4build3.debian.tar.xz
 9e7a6ee2402297a648c51f98e6ba5e4a0c4bd581 7812 coq-reglang_1.1.3-4build3_source.buildinfo
Checksums-Sha256:
 21868cb6017e9846e7feffb46f5c782920e00d048a01bb37ed13c102a022f112 2116 coq-reglang_1.1.3-4build3.dsc
 0285d4a208f6020cb94a110056c855ed2b02ae577b05369196694688d64acd3d 8544 coq-reglang_1.1.3-4build3.debian.tar.xz
 dbd2096f240df434f30a493105dbe941a848c7a14ec287691bab90d228471372 7812 coq-reglang_1.1.3-4build3_source.buildinfo
Files:
 9475e163bd91d3f5bf195b50465fabbe 2116 ocaml optional coq-reglang_1.1.3-4build3.dsc
 79c14735080135e7c851d5093b2a6be8 8544 ocaml optional coq-reglang_1.1.3-4build3.debian.tar.xz
 ea5202d92238c39f587a31493979cb64 7812 ocaml optional coq-reglang_1.1.3-4build3_source.buildinfo