[ubuntu/plucky-proposed] coq-ext-lib 0.13.0-1build2 (Accepted)

[Gianfranco Costamagna]

coq-ext-lib (0.13.0-1build2) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 14 Feb 2025 00:25:49 +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-1build2
-------------- next part --------------
Format: 1.8
Date: Fri, 14 Feb 2025 00:25:49 +0100
Source: coq-ext-lib
Built-For-Profiles: noudeb
Architecture: source
Version: 0.13.0-1build2
Distribution: plucky
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-1build2) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 aeead3b844ac7049ac77e31a46d3b9c2ac7b81e6 2088 coq-ext-lib_0.13.0-1build2.dsc
 4a68c3e268a40950f1e1e327eabe1695bade9099 2500 coq-ext-lib_0.13.0-1build2.debian.tar.xz
 c85d3b66445acbcb7777664794b669469330cce3 7307 coq-ext-lib_0.13.0-1build2_source.buildinfo
Checksums-Sha256:
 043be79e69e5b5db72f3f4c4698ff442984377b3a10415d0a03c3a696a80d5a5 2088 coq-ext-lib_0.13.0-1build2.dsc
 a1446e5b039fa48f5fb3b96dcbb353357e14e60588ce2913e46202cc1f7ad3f5 2500 coq-ext-lib_0.13.0-1build2.debian.tar.xz
 dfb8394b2d7d7f22721b3154d477cca93369dc2617a4d1ead35ff644d3fad46f 7307 coq-ext-lib_0.13.0-1build2_source.buildinfo
Files:
 7fa52b0ddc951df2759dd28011d5c7e5 2088 ocaml optional coq-ext-lib_0.13.0-1build2.dsc
 b6b269ad832ba92512297d4821ca2c1e 2500 ocaml optional coq-ext-lib_0.13.0-1build2.debian.tar.xz
 4432db5fb5fcafb6442402c66289f641 7307 ocaml optional coq-ext-lib_0.13.0-1build2_source.buildinfo