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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 25 Nov 2022 09:23:22 +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-1build1
-------------- next part --------------
Format: 1.8
Date: Fri, 25 Nov 2022 09:23:22 +0100
Source: coq-ext-lib
Built-For-Profiles: noudeb
Architecture: source
Version: 0.11.7-1build1
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-1build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 85222ae549d3d72af2af10b37a1e7e05c0aec034 2083 coq-ext-lib_0.11.7-1build1.dsc
 e3de1b885a6fe49bc35cf35657bcb5f84277e554 2076 coq-ext-lib_0.11.7-1build1.debian.tar.xz
 802cf2d9aeb3b74610db83eb310a84385c677146 7889 coq-ext-lib_0.11.7-1build1_source.buildinfo
Checksums-Sha256:
 2c61c6fa9a22553a0eabd13e8da7fa3d99196e7f75a60b5a6104417a09f0dafc 2083 coq-ext-lib_0.11.7-1build1.dsc
 c4fcb9e7233fb1d0a298e95fa0a23ac2578578aa191f0895bf79c1c19cf69c1e 2076 coq-ext-lib_0.11.7-1build1.debian.tar.xz
 65783823d4bc87ebb1e9f2dfacce83982dfe0e7cbe5421519ad17f8f46d56476 7889 coq-ext-lib_0.11.7-1build1_source.buildinfo
Files:
 1392493d8d9a94162689e7e589a779a7 2083 ocaml optional coq-ext-lib_0.11.7-1build1.dsc
 93a86561b3d11a4c6df6e90d537727af 2076 ocaml optional coq-ext-lib_0.11.7-1build1.debian.tar.xz
 eccedd3d591312b1f2e949e3e53e50c5 7889 ocaml optional coq-ext-lib_0.11.7-1build1_source.buildinfo