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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 26 Jan 2023 14:00:17 +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-2build1
-------------- next part --------------
Format: 1.8
Date: Thu, 26 Jan 2023 14:00:17 +0100
Source: coq-ext-lib
Built-For-Profiles: noudeb
Architecture: source
Version: 0.11.7-2build1
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-2build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 7d8b161966579d1d4858f75fdc6ccad7c1709669 2088 coq-ext-lib_0.11.7-2build1.dsc
 19b2a9b39aa35283a1ae946aaf68abe4b77c8276 2104 coq-ext-lib_0.11.7-2build1.debian.tar.xz
 899164c1d5a3492029126b1d33bb57dcfbe961ec 7112 coq-ext-lib_0.11.7-2build1_source.buildinfo
Checksums-Sha256:
 da8d9ae3d44173106ed69dc086fd4bb0ea715949da43a5cfa03549fa8c4fe78d 2088 coq-ext-lib_0.11.7-2build1.dsc
 821ac0a24a99270455d7838412ff82f055a4f4b130afdfce405f6af872aec1fc 2104 coq-ext-lib_0.11.7-2build1.debian.tar.xz
 f8b92c3fe9af38b558536a87f8b8f3ea85eb267a1b08d3c0008623ae933cfb6f 7112 coq-ext-lib_0.11.7-2build1_source.buildinfo
Files:
 459bcac4b43e5afa468de9c144f59453 2088 ocaml optional coq-ext-lib_0.11.7-2build1.dsc
 94c92d5fb29bd9ab2dd94de9f410a399 2104 ocaml optional coq-ext-lib_0.11.7-2build1.debian.tar.xz
 2fb5fbdca15712c03338d6efc7e5e9cc 7112 ocaml optional coq-ext-lib_0.11.7-2build1_source.buildinfo