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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Sat, 03 Dec 2022 10:44:44 +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-1build3
-------------- next part --------------
Format: 1.8
Date: Sat, 03 Dec 2022 10:44:44 +0100
Source: coq-ext-lib
Built-For-Profiles: noudeb
Architecture: source
Version: 0.11.7-1build3
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-1build3) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 356e38d51737af768d90e7f7894dda142e52c342 2083 coq-ext-lib_0.11.7-1build3.dsc
 7309aa18569ea6fdb4be230754d8ca8035a71c43 2096 coq-ext-lib_0.11.7-1build3.debian.tar.xz
 49e7c1fac088257445d0e63b7d6000b36d884da7 7891 coq-ext-lib_0.11.7-1build3_source.buildinfo
Checksums-Sha256:
 3238768d1bb7470837406e85e2f0dfbebb8ab95926554704db74e9b8cd83ee74 2083 coq-ext-lib_0.11.7-1build3.dsc
 a38583aa484b58aed15013c848fc217fc522283827d4076bfd46a7c131024254 2096 coq-ext-lib_0.11.7-1build3.debian.tar.xz
 44675ae9395a3a525520cf763dad74353470ead8d68654cadf6bded36db24aeb 7891 coq-ext-lib_0.11.7-1build3_source.buildinfo
Files:
 403305c79f68fd61abe28f5a8e404551 2083 ocaml optional coq-ext-lib_0.11.7-1build3.dsc
 e9037c6587e1776015f0f93c22988907 2096 ocaml optional coq-ext-lib_0.11.7-1build3.debian.tar.xz
 af3c8589c8a83d802f2471cceba65d45 7891 ocaml optional coq-ext-lib_0.11.7-1build3_source.buildinfo