[ubuntu/lunar-proposed] coq-reglang 1.1.3-2build1 (Accepted)

[Gianfranco Costamagna]

coq-reglang (1.1.3-2build1) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 10:55:19 +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-2build1
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 10:55:19 +0100
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.3-2build1
Distribution: lunar
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-2build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 39fe85ea25324a2ee36bce64c9716aa161697fec 2110 coq-reglang_1.1.3-2build1.dsc
 69e47808d977eed07a53770d3ca37a0a228c77f5 8460 coq-reglang_1.1.3-2build1.debian.tar.xz
 8396bca93e5ad48a2c36adc024e5c34037615beb 7152 coq-reglang_1.1.3-2build1_source.buildinfo
Checksums-Sha256:
 1141786efe24341c37548cf271092d29866e467d89eaf5836a1a93f0a0cf1d73 2110 coq-reglang_1.1.3-2build1.dsc
 64cb2bdd0426aed45a01118fea11b1198d61fe23f35d71018cfe4e8c91c4a329 8460 coq-reglang_1.1.3-2build1.debian.tar.xz
 261434490f208372c74ca54b6b2bb9c0d875a939682009589f1d153b303a795c 7152 coq-reglang_1.1.3-2build1_source.buildinfo
Files:
 dd6dadf32f7753313fc0ce83545c0960 2110 ocaml optional coq-reglang_1.1.3-2build1.dsc
 71f744087b09ce15c22dd96c749244d4 8460 ocaml optional coq-reglang_1.1.3-2build1.debian.tar.xz
 756068bae994bcde3b1e1d81c91e77c5 7152 ocaml optional coq-reglang_1.1.3-2build1_source.buildinfo