[ubuntu/plucky-proposed] coq-reglang 1.2.1-4build12 (Accepted)

[Gianfranco Costamagna]

coq-reglang (1.2.1-4build12) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 19 Feb 2025 07:59:25 +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-4build12
-------------- next part --------------
Format: 1.8
Date: Wed, 19 Feb 2025 07:59:25 +0100
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.1-4build12
Distribution: plucky
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-4build12) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 b1c771a7d16d3964a1cc852fe63153a32a74f587 2120 coq-reglang_1.2.1-4build12.dsc
 9fc6be76bf1faa28f537a4e9b65d38b6e753f578 8944 coq-reglang_1.2.1-4build12.debian.tar.xz
 152f8673dce01b5997787a500f8d0b59cb366e05 7307 coq-reglang_1.2.1-4build12_source.buildinfo
Checksums-Sha256:
 1be4968392287ba9875fb5e8e4d6b1c0cac157909d494ddbb07bdcde2a3a3dd9 2120 coq-reglang_1.2.1-4build12.dsc
 005a8733edee1e5e3e98fb647810cf7247679ffa0493c91fcc0a1294db08f853 8944 coq-reglang_1.2.1-4build12.debian.tar.xz
 ca70f49fd16da654632f7bedfc44fd4b1c18177b9789685efa5bf80aa1b4e4d0 7307 coq-reglang_1.2.1-4build12_source.buildinfo
Files:
 d320637b2c138c167e4178b8bd3a0eda 2120 ocaml optional coq-reglang_1.2.1-4build12.dsc
 6842d7596f5151ec83baf347ad70d969 8944 ocaml optional coq-reglang_1.2.1-4build12.debian.tar.xz
 cca5dae8cfea8c0fbffbc9c63a41ce37 7307 ocaml optional coq-reglang_1.2.1-4build12_source.buildinfo