[ubuntu/resolute-proposed] coq-ext-lib 0.13.0-1build5 (Accepted)

[Gianfranco Costamagna]

coq-ext-lib (0.13.0-1build5) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 05 Jan 2026 18:27:18 +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.13.0-1build5
-------------- next part --------------
Format: 1.8
Date: Mon, 05 Jan 2026 18:27:18 +0100
Source: coq-ext-lib
Built-For-Profiles: noudeb
Architecture: source
Version: 0.13.0-1build5
Distribution: resolute
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.13.0-1build5) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 bb3726529d634b48a1923abb3df0a0a455c245db 2088 coq-ext-lib_0.13.0-1build5.dsc
 cbe0b669777170ea3bd4394baadace1dca129704 2592 coq-ext-lib_0.13.0-1build5.debian.tar.xz
 f4398e97f66161c68cda93f9472c1abc3437a521 7863 coq-ext-lib_0.13.0-1build5_source.buildinfo
Checksums-Sha256:
 dddd7490186772329ca27a40a0d289eff62f75dbdba50c5e23f841c4c0d1a6f3 2088 coq-ext-lib_0.13.0-1build5.dsc
 cd3fdaed24e3454fafa04e95f5318ee862e76132e92b3b5226c03d709179c1f8 2592 coq-ext-lib_0.13.0-1build5.debian.tar.xz
 768244c1933f77d784c2077d4451fd9414fad97a857991556bc8330853fcfa37 7863 coq-ext-lib_0.13.0-1build5_source.buildinfo
Files:
 7594e4309d49b24d15a23320d377bc8f 2088 ocaml optional coq-ext-lib_0.13.0-1build5.dsc
 dac3f76982156555267c46d9b0f82e16 2592 ocaml optional coq-ext-lib_0.13.0-1build5.debian.tar.xz
 c5251ae2462e3c3119f568d1d12f77ce 7863 ocaml optional coq-ext-lib_0.13.0-1build5_source.buildinfo