[ubuntu/resolute-proposed] coq-extructures 0.5.0-1build12 (Accepted)

[Gianfranco Costamagna]

coq-extructures (0.5.0-1build12) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 06 Nov 2025 09:05:51 +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-1build12
-------------- next part --------------
Format: 1.8
Date: Thu, 06 Nov 2025 09:05:51 +0100
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.5.0-1build12
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-extructures (0.5.0-1build12) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 66fdbd76f3c1c16ab429284828dd80f7255d6f24 2169 coq-extructures_0.5.0-1build12.dsc
 3a954340cd5cf9012c66bc5c2b316e8c78187604 2652 coq-extructures_0.5.0-1build12.debian.tar.xz
 4f77fa68f8f1b481487a98d2eb9d5a27df5cc6f3 7873 coq-extructures_0.5.0-1build12_source.buildinfo
Checksums-Sha256:
 7379a463074aafa4478de4a4672c4d87aeeb4279e35b84f163c53b041ed49138 2169 coq-extructures_0.5.0-1build12.dsc
 bce827616c25c3417085cdedd0692fa27e5a64b136f750d6d26fe8dae2cb434f 2652 coq-extructures_0.5.0-1build12.debian.tar.xz
 82800d93ef47f24fece9280954453180ee2d6c3f1e6599a54bfba48dd0ccad52 7873 coq-extructures_0.5.0-1build12_source.buildinfo
Files:
 6aaaabf29d171b1d1c2c1eed96b0c4be 2169 ocaml optional coq-extructures_0.5.0-1build12.dsc
 67406b013fadc2fcc4aafa091910251a 2652 ocaml optional coq-extructures_0.5.0-1build12.debian.tar.xz
 0b1075ae5aa0f8c8513dc039d5060924 7873 ocaml optional coq-extructures_0.5.0-1build12_source.buildinfo