[ubuntu/questing-proposed] coq-simple-io 1.11.0-1build1 (Accepted)

[Gianfranco Costamagna]

coq-simple-io (1.11.0-1build1) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Fri, 20 Jun 2025 13:30:28 +0200
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-1build1
-------------- next part --------------
Format: 1.8
Date: Fri, 20 Jun 2025 13:30:28 +0200
Source: coq-simple-io
Built-For-Profiles: noudeb
Architecture: source
Version: 1.11.0-1build1
Distribution: questing
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-1build1) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 6e0442f153f591ad2dffb9955c7d467f09a6290a 2169 coq-simple-io_1.11.0-1build1.dsc
 f3ea2a4046665a9dd92a2c2f29f0325c1203eeed 2752 coq-simple-io_1.11.0-1build1.debian.tar.xz
 69232708970007dd8a224e796918935c1af2f792 7279 coq-simple-io_1.11.0-1build1_source.buildinfo
Checksums-Sha256:
 5534b4b2e362a1d167360726cd2ee4458d238ae0e68e36c5839540e1acc2b5c0 2169 coq-simple-io_1.11.0-1build1.dsc
 61970aec9e4a2bb6c63d20a3667bde8ac84fae24e7f10a29eb8647e31878b3e7 2752 coq-simple-io_1.11.0-1build1.debian.tar.xz
 c4529189120a2c862d4013d8cb94c706f0b74d1da75b739705d6862022313ef8 7279 coq-simple-io_1.11.0-1build1_source.buildinfo
Files:
 1f0df1d3df923b891f20166767133747 2169 ocaml optional coq-simple-io_1.11.0-1build1.dsc
 3c26200dbdc936f8fee28bc67b7418ee 2752 ocaml optional coq-simple-io_1.11.0-1build1.debian.tar.xz
 f7f79e7e7591741ca7f912a2417d5832 7279 ocaml optional coq-simple-io_1.11.0-1build1_source.buildinfo