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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Wed, 12 Feb 2025 21:52:35 +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-1build4
-------------- next part --------------
Format: 1.8
Date: Wed, 12 Feb 2025 21:52:35 +0100
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.5.0-1build4
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-1build4) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 e20cd82613ef006c006fb955cab2ffc07b8a7887 2165 coq-extructures_0.5.0-1build4.dsc
 0616c186d4981ed6edc74ec9d547c64ec53cbc37 2520 coq-extructures_0.5.0-1build4.debian.tar.xz
 7438786e910246f673a1572006495bac9d434e58 7319 coq-extructures_0.5.0-1build4_source.buildinfo
Checksums-Sha256:
 c12c77ccaefa01cdd725a382d7aed80614b9850ded816bfd234868b128427972 2165 coq-extructures_0.5.0-1build4.dsc
 ed0ec13c5421c91a1405452df86fe090c184d2953074459d65a515e952431b73 2520 coq-extructures_0.5.0-1build4.debian.tar.xz
 a492f2b635628976032b877152d5e0c3750107b7a5ee7491f1a2d4b62ce76d5e 7319 coq-extructures_0.5.0-1build4_source.buildinfo
Files:
 ab38b9bc71660d1b74609d5a7cc6c3b1 2165 ocaml optional coq-extructures_0.5.0-1build4.dsc
 80b6107da6eb35f05bf34b7e4f386d6b 2520 ocaml optional coq-extructures_0.5.0-1build4.debian.tar.xz
 3c9b91766d6102dbbc474a09dcf62488 7319 ocaml optional coq-extructures_0.5.0-1build4_source.buildinfo