[ubuntu/resolute-proposed] coq-simple-io 1.11.0-1build2 (Accepted)

[Gianfranco Costamagna]

coq-simple-io (1.11.0-1build2) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 05 Jan 2026 18:37:40 +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-simple-io/1.11.0-1build2
-------------- next part --------------
Format: 1.8
Date: Mon, 05 Jan 2026 18:37:40 +0100
Source: coq-simple-io
Built-For-Profiles: noudeb
Architecture: source
Version: 1.11.0-1build2
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-simple-io (1.11.0-1build2) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 139ee0c729b2b747ede7dfe152a563816357a53a 2169 coq-simple-io_1.11.0-1build2.dsc
 927474c271a1d953fdad2551afd709fe3618244c 2780 coq-simple-io_1.11.0-1build2.debian.tar.xz
 994897bec07002ec28c398a816a9655124e736a6 7897 coq-simple-io_1.11.0-1build2_source.buildinfo
Checksums-Sha256:
 71d6bd7ed2fdb37ee5a58c6ec78ae499d97dd3e25d1bc3f273a322453abe2b47 2169 coq-simple-io_1.11.0-1build2.dsc
 524aed9914b5f59471ece33915014d245b15d5f30008d774ddfbffb8a7b08c87 2780 coq-simple-io_1.11.0-1build2.debian.tar.xz
 5ff5949a5d85f71a8c256d53c3e27dad37cdfb06da48895a3d3c2165d316cb12 7897 coq-simple-io_1.11.0-1build2_source.buildinfo
Files:
 a45ee383b0bd195bcc9f525fc19360a2 2169 ocaml optional coq-simple-io_1.11.0-1build2.dsc
 8b68fd064016b0964d8e449cc0d35c15 2780 ocaml optional coq-simple-io_1.11.0-1build2.debian.tar.xz
 b2eaa9f9bfe392c80fa52003de006ec2 7897 ocaml optional coq-simple-io_1.11.0-1build2_source.buildinfo