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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Tue, 27 Jan 2026 22:45:14 +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-1build14
-------------- next part --------------
Format: 1.8
Date: Tue, 27 Jan 2026 22:45:14 +0100
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.5.0-1build14
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-1build14) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 1020cafec2b16f22c37eb7166d139a9e453567dd 2169 coq-extructures_0.5.0-1build14.dsc
 4ef58d7f254b1492947bd543a0d95146fec7d0f2 2676 coq-extructures_0.5.0-1build14.debian.tar.xz
 c004002258d6faa60cf0c62ff272e6b5e0753734 7883 coq-extructures_0.5.0-1build14_source.buildinfo
Checksums-Sha256:
 7e26e24e068949257d5f1a285865981a513e147cbab9dc78a1fd2d97e77673d8 2169 coq-extructures_0.5.0-1build14.dsc
 1652fe102af7a6593be00ec1b8658f228ec4bd97da1d5d1d6e8a536cf0d041eb 2676 coq-extructures_0.5.0-1build14.debian.tar.xz
 dd4d6625fadb8f1e4fdc31ba98f4fa3bfc223751c126c61b299d3b91ae165a63 7883 coq-extructures_0.5.0-1build14_source.buildinfo
Files:
 04c1db8e03f179fb4c0ebac7f5f3833b 2169 ocaml optional coq-extructures_0.5.0-1build14.dsc
 696a3d2ccece6460dfe969bffa542aea 2676 ocaml optional coq-extructures_0.5.0-1build14.debian.tar.xz
 3c8edbeb208f947b89345457e29fb808 7883 ocaml optional coq-extructures_0.5.0-1build14_source.buildinfo