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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 19:29:16 +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-2build2
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 19:29:16 +0100
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.3-2build2
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-2build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 dc0a8900aaccfc76827d026555074be1d8e61e22 2110 coq-reglang_1.1.3-2build2.dsc
 19905b164b97f43005e9242bec6b3d065fde8f24 8472 coq-reglang_1.1.3-2build2.debian.tar.xz
 6c20148aebb23593cf8b7f7fbbdd9bcda897dbfd 7152 coq-reglang_1.1.3-2build2_source.buildinfo
Checksums-Sha256:
 2d0631d1321cd4d93fe9e246920edbd51759908c7925c815be26daa45f45ca71 2110 coq-reglang_1.1.3-2build2.dsc
 e1053074bae2f53b8428fdbc27f3e8eb471251189fb4b548632d215572b5fec6 8472 coq-reglang_1.1.3-2build2.debian.tar.xz
 8807726cd0081239cb01456fb3e8c0bf12f7b86efaf359fd48625a2c9c3f1569 7152 coq-reglang_1.1.3-2build2_source.buildinfo
Files:
 d920f8f0cf64e6ecf733708eee9951ec 2110 ocaml optional coq-reglang_1.1.3-2build2.dsc
 c33e78c0f2406d3db56ad95fd44ffcea 8472 ocaml optional coq-reglang_1.1.3-2build2.debian.tar.xz
 2b7520e3a4f2ddccf10a28442010a12f 7152 ocaml optional coq-reglang_1.1.3-2build2_source.buildinfo