[ubuntu/noble-proposed] coq-ext-lib 0.11.8-1build2 (Accepted)

[Gianfranco Costamagna]

coq-ext-lib (0.11.8-1build2) noble; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Mon, 06 Nov 2023 17:09:26 +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.8-1build2
-------------- next part --------------
Format: 1.8
Date: Mon, 06 Nov 2023 17:09:26 +0100
Source: coq-ext-lib
Built-For-Profiles: noudeb
Architecture: source
Version: 0.11.8-1build2
Distribution: noble
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.8-1build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 1609d044de54a30a65d97407721cb3e204efec26 2088 coq-ext-lib_0.11.8-1build2.dsc
 5f52a0fd2f5f8dcc13248f82d73655c13c750146 2172 coq-ext-lib_0.11.8-1build2.debian.tar.xz
 45c27be35e79272a8edae6ec668cf29ee5f20b83 7816 coq-ext-lib_0.11.8-1build2_source.buildinfo
Checksums-Sha256:
 6976bdc4ddc565b1000d17923af09ea84b83e0e3dd1039ff80ab7627abff80a5 2088 coq-ext-lib_0.11.8-1build2.dsc
 042c2dbcea3a826d6b1bcaabfe174fac9cefdd30247109468be60fc40c9324d2 2172 coq-ext-lib_0.11.8-1build2.debian.tar.xz
 c47aefb2b0a685a6de2e1cdeec0510bcd45b5fb3e96ecf9676055d83bdcc8c00 7816 coq-ext-lib_0.11.8-1build2_source.buildinfo
Files:
 6842a7785f353c7c137b64c84a2e3fe8 2088 ocaml optional coq-ext-lib_0.11.8-1build2.dsc
 85862fb6907d745cb7cc967983b0606b 2172 ocaml optional coq-ext-lib_0.11.8-1build2.debian.tar.xz
 e8c5e94793c58e04f9a673e9c13884fd 7816 ocaml optional coq-ext-lib_0.11.8-1build2_source.buildinfo