[ubuntu/mantic-proposed] coq-reglang 1.1.3-2build3 (Accepted)

[Gianfranco Costamagna]

coq-reglang (1.1.3-2build3) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Tue, 13 Jun 2023 10:42:57 +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-2build3
-------------- next part --------------
Format: 1.8
Date: Tue, 13 Jun 2023 10:42:57 +0200
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.3-2build3
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-2build3) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 4eda1d75636c7423623decd2aa69de76a42793c7 2110 coq-reglang_1.1.3-2build3.dsc
 f6d223635716a3b3f92798ff93f0b75850e3b07a 8492 coq-reglang_1.1.3-2build3.debian.tar.xz
 e782d5c1bcc1dd006e4a7cddd090c1bfef082dd6 7207 coq-reglang_1.1.3-2build3_source.buildinfo
Checksums-Sha256:
 32c59a7418460d4cf7ccef833858292aa4cc337353f32510380003c383d2c6ee 2110 coq-reglang_1.1.3-2build3.dsc
 75bca2d4040e4311b451ded043d08cbdaea6c64e5171fef5a402230d4fb298b1 8492 coq-reglang_1.1.3-2build3.debian.tar.xz
 67a33fe79d4971d6f18f676aae606836f99f76bf99d0da557c7feddf3e03171c 7207 coq-reglang_1.1.3-2build3_source.buildinfo
Files:
 3180a50df9fba3a97c76d67b73d31226 2110 ocaml optional coq-reglang_1.1.3-2build3.dsc
 8de63aeed1931c255e8435400adc5771 8492 ocaml optional coq-reglang_1.1.3-2build3.debian.tar.xz
 0ff7faf1379ab7884febef8751b2a71e 7207 ocaml optional coq-reglang_1.1.3-2build3_source.buildinfo