[ubuntu/mantic-proposed] coq-reglang 1.1.3-4build1 (Accepted)

[Gianfranco Costamagna]

coq-reglang (1.1.3-4build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Mon, 24 Jul 2023 19:06:24 +0200
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-4build1
-------------- next part --------------
Format: 1.8
Date: Mon, 24 Jul 2023 19:06:24 +0200
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.3-4build1
Distribution: mantic
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-4build1) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 a2b6d549771d6246849a6d4a9dfbdcadbb923e8d 2116 coq-reglang_1.1.3-4build1.dsc
 552fd70eb32daf12e7d210ee04efd70c68027795 8504 coq-reglang_1.1.3-4build1.debian.tar.xz
 7d6901e937e8a43dd9b2dafd85af57d545144efd 7786 coq-reglang_1.1.3-4build1_source.buildinfo
Checksums-Sha256:
 0a11a6a4e6a0cc8c881f0e72ef5c73ac9ca9815cb12bd810e4b5cdbe598a5edd 2116 coq-reglang_1.1.3-4build1.dsc
 805d3872a00e12048546e4ca9a0057ee90248acaef09075ae22e68f6d90727ba 8504 coq-reglang_1.1.3-4build1.debian.tar.xz
 c725594d2c49405ade0f13a11c1a4da41aa5cd1d7d645b468ce51c7272f67fba 7786 coq-reglang_1.1.3-4build1_source.buildinfo
Files:
 23b939ff8debe293a420c141fc8266bf 2116 ocaml optional coq-reglang_1.1.3-4build1.dsc
 c519c7181f34c8d208319ea53ab66a76 8504 ocaml optional coq-reglang_1.1.3-4build1.debian.tar.xz
 6943dfc906cdcf3842c82cc1f0d4bd3e 7786 ocaml optional coq-reglang_1.1.3-4build1_source.buildinfo