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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 19:28: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-ext-lib/0.11.7-2build2
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 19:28:16 +0100
Source: coq-ext-lib
Built-For-Profiles: noudeb
Architecture: source
Version: 0.11.7-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-ext-lib (0.11.7-2build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 fa510ae3f6e9bce8e1507fa1a8a3376f66dc31cd 2088 coq-ext-lib_0.11.7-2build2.dsc
 732ec19f13363eb10d232eb418a8fa9b6aa3f26f 2120 coq-ext-lib_0.11.7-2build2.debian.tar.xz
 8b50a1d414b18858414fcbf2f09f5c4f2e38fad8 7156 coq-ext-lib_0.11.7-2build2_source.buildinfo
Checksums-Sha256:
 02c8a1d2c5c90774abd2fd7608ae18d16c8c9c14d8e720a7369d74ca0442bc11 2088 coq-ext-lib_0.11.7-2build2.dsc
 6c37ec205a7d5b551208168eae0d4692d316854340812d10fba16584531a9563 2120 coq-ext-lib_0.11.7-2build2.debian.tar.xz
 8ae78899d2635d8b246f3db474cfa113dfe0c2e1d9ae086de7e24731f38f6209 7156 coq-ext-lib_0.11.7-2build2_source.buildinfo
Files:
 d3425c7d9c13747a6bd654f6bb52277d 2088 ocaml optional coq-ext-lib_0.11.7-2build2.dsc
 53be8277280139edb4255489f216116c 2120 ocaml optional coq-ext-lib_0.11.7-2build2.debian.tar.xz
 fb50373777f3278855235a638f1aacee 7156 ocaml optional coq-ext-lib_0.11.7-2build2_source.buildinfo