[ubuntu/lunar-proposed] coq-reglang 1.1.3-1build2 (Accepted)

[Gianfranco Costamagna]

coq-reglang (1.1.3-1build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Sat, 03 Dec 2022 10:45: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.1.3-1build2
-------------- next part --------------
Format: 1.8
Date: Sat, 03 Dec 2022 10:45:42 +0100
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.3-1build2
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-1build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 5848b2774b08bfd037f38fc6ec7e323c3cc2da90 2105 coq-reglang_1.1.3-1build2.dsc
 54d837c6930682b125f42f0099d3badc42567e45 8432 coq-reglang_1.1.3-1build2.debian.tar.xz
 b049ae4b7b4e6001cc3449c1a900b0c407e5a42d 7887 coq-reglang_1.1.3-1build2_source.buildinfo
Checksums-Sha256:
 875ac823836464327e0380bd3b904ba2b50f58958a435e2239b7122fc24a1b03 2105 coq-reglang_1.1.3-1build2.dsc
 9a3a3dd5c057b1c5168c1e7dc7b77895faeb374397a7a7b1fa6eac3ae0167f70 8432 coq-reglang_1.1.3-1build2.debian.tar.xz
 a392fd2a9cdbb7bd91ea56dc52903d95ea0479496184cd171a5a94bfa78553eb 7887 coq-reglang_1.1.3-1build2_source.buildinfo
Files:
 cb19e59de5866b95d737942d65adb4e9 2105 ocaml optional coq-reglang_1.1.3-1build2.dsc
 111119d3d40b18a7c3a3335cc7c07a12 8432 ocaml optional coq-reglang_1.1.3-1build2.debian.tar.xz
 dece0eaffcb3c899af19306f7dd1df9a 7887 ocaml optional coq-reglang_1.1.3-1build2_source.buildinfo