[ubuntu/lunar-proposed] coq-ext-lib 0.11.7-1build2 (Accepted)

[Gianfranco Costamagna]

coq-ext-lib (0.11.7-1build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 25 Nov 2022 19:11:38 +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-ext-lib/0.11.7-1build2
-------------- next part --------------
Format: 1.8
Date: Fri, 25 Nov 2022 19:11:38 +0100
Source: coq-ext-lib
Built-For-Profiles: noudeb
Architecture: source
Version: 0.11.7-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-ext-lib (0.11.7-1build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 e023d0d05d035f48902efaad0bb0ebc0f001b536 2083 coq-ext-lib_0.11.7-1build2.dsc
 f96a34480be8def0bb3e36ea31103f7345288ef9 2084 coq-ext-lib_0.11.7-1build2.debian.tar.xz
 0a4c02fbc87d612743e187dcd88d2adc739c5eac 7889 coq-ext-lib_0.11.7-1build2_source.buildinfo
Checksums-Sha256:
 762e766d2a6064da74c63dbe96c6c46926e5a65a220ae795571f5ed1ccb923ce 2083 coq-ext-lib_0.11.7-1build2.dsc
 eb1ad8b4477892baf05f7eabf3bb4339e3c34feb20809eee85f05e7c44ad7355 2084 coq-ext-lib_0.11.7-1build2.debian.tar.xz
 5b46ae69fa95482c7476f2e8905ba6d3d516e159276858cd10a675764b5e1b5b 7889 coq-ext-lib_0.11.7-1build2_source.buildinfo
Files:
 d84c1aa05d69c8980a3fc83927aaa570 2083 ocaml optional coq-ext-lib_0.11.7-1build2.dsc
 41fe98ebdbd92bb38b3b77317b9d6924 2084 ocaml optional coq-ext-lib_0.11.7-1build2.debian.tar.xz
 2471ad669e0f2d420326e8b2f6d3194c 7889 ocaml optional coq-ext-lib_0.11.7-1build2_source.buildinfo