[ubuntu/plucky-proposed] coq-extructures 0.5.0-1build6 (Accepted)

[Gianfranco Costamagna]

coq-extructures (0.5.0-1build6) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 19 Feb 2025 08:06:20 +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-extructures/0.5.0-1build6
-------------- next part --------------
Format: 1.8
Date: Wed, 19 Feb 2025 08:06:20 +0100
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.5.0-1build6
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-extructures (0.5.0-1build6) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 89f0cfa382e89d6a863b8853dc03b751549b787a 2165 coq-extructures_0.5.0-1build6.dsc
 a2c076434280ca7fbd02e4897fffbd5b9433aca8 2548 coq-extructures_0.5.0-1build6.debian.tar.xz
 14d92f3d87959e88ac2bb798201e34a83e73f91c 7319 coq-extructures_0.5.0-1build6_source.buildinfo
Checksums-Sha256:
 4230548032d3f55b18b5ecf3f2a2487e033b5b234d75d22f9943208bcd0a8de8 2165 coq-extructures_0.5.0-1build6.dsc
 9296e81a386277b59375ae4481708896fab9ef86d28ed826f9ab74d63825500d 2548 coq-extructures_0.5.0-1build6.debian.tar.xz
 0e067d58675318c9f6cc33d43b5c2cee6dc08baeb47b76b6a7823c378110f3f8 7319 coq-extructures_0.5.0-1build6_source.buildinfo
Files:
 26202b1be68b2f1ec7a0a887110af3bd 2165 ocaml optional coq-extructures_0.5.0-1build6.dsc
 9185e8c8cf86ff4fe2d1a32ec8d98d2e 2548 ocaml optional coq-extructures_0.5.0-1build6.debian.tar.xz
 a93a7cca7a6191ebec3ddc0439ac18c8 7319 ocaml optional coq-extructures_0.5.0-1build6_source.buildinfo