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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Sat, 04 Nov 2023 20:13:29 +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-4build2
-------------- next part --------------
Format: 1.8
Date: Sat, 04 Nov 2023 20:13:29 +0100
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.3-4build2
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-4build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 545841813578c9f737f554f201585171104fec92 2116 coq-reglang_1.1.3-4build2.dsc
 37ea2e22f529cd65417c1fd898a88e5454b8185c 8528 coq-reglang_1.1.3-4build2.debian.tar.xz
 ede8526c7c8727bfe4fea02abcc37d1c6ff6bb5a 7812 coq-reglang_1.1.3-4build2_source.buildinfo
Checksums-Sha256:
 f11dd4fb211a403de47867d739045b9373c4813e6eea7406f6128848562991dc 2116 coq-reglang_1.1.3-4build2.dsc
 35fd7ee29e7096df2630682819cd6316518f62c8d05d75dcb1fd3ff241495cb1 8528 coq-reglang_1.1.3-4build2.debian.tar.xz
 f6ff211a67f4f28516fe0aeeefcf2a26a05954480d64f1656a130d0d21507ce8 7812 coq-reglang_1.1.3-4build2_source.buildinfo
Files:
 f21d46b68c2db9982b93c3895808bd2e 2116 ocaml optional coq-reglang_1.1.3-4build2.dsc
 64630ce9eb9a579b0837e340c4689d40 8528 ocaml optional coq-reglang_1.1.3-4build2.debian.tar.xz
 baaf7c29c5bff3357f0e86f50426baca 7812 ocaml optional coq-reglang_1.1.3-4build2_source.buildinfo