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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Sun, 04 Jan 2026 23:29:53 +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-1build13
-------------- next part --------------
Format: 1.8
Date: Sun, 04 Jan 2026 23:29:53 +0100
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.5.0-1build13
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-1build13) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 e47e8c610dcf1d424d887bb8b28c8becc1515533 2169 coq-extructures_0.5.0-1build13.dsc
 28a7c092d1273ae7fdc3f8109d2c5a376a98fe03 2668 coq-extructures_0.5.0-1build13.debian.tar.xz
 4e6fd95de29cd304e034c206bf5e375fa7e39285 7879 coq-extructures_0.5.0-1build13_source.buildinfo
Checksums-Sha256:
 77236cb1ffaa6c2c16b25b024993f5258d42b59a338000e22b9dd87ec2b2320d 2169 coq-extructures_0.5.0-1build13.dsc
 883c936abfc012493ed97ba9d2d3e0b1ddf63ca628dd60891a64f502ddf71435 2668 coq-extructures_0.5.0-1build13.debian.tar.xz
 3ab8b7550e63ceec62f4ae36428f3316a580afcb65cd71be0afe4602020bd9fd 7879 coq-extructures_0.5.0-1build13_source.buildinfo
Files:
 23a34a51a510b7a46b2a8922766ef8d4 2169 ocaml optional coq-extructures_0.5.0-1build13.dsc
 33a2f2df02f21f82d77d0efb32091889 2668 ocaml optional coq-extructures_0.5.0-1build13.debian.tar.xz
 ef2ace71922a52c46cb4ab1467fdccd6 7879 ocaml optional coq-extructures_0.5.0-1build13_source.buildinfo