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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 29 Jan 2026 20:24:39 +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-1build3
-------------- next part --------------
Format: 1.8
Date: Thu, 29 Jan 2026 20:24:39 +0100
Source: coq-simple-io
Built-For-Profiles: noudeb
Architecture: source
Version: 1.11.0-1build3
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-1build3) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 1121bd7a98641fbcbd8dafa5829f47a469c6d034 2169 coq-simple-io_1.11.0-1build3.dsc
 068999befaa578ebcd156214be3baee2f18ea8c9 2788 coq-simple-io_1.11.0-1build3.debian.tar.xz
 98e0419b815f157e7aff2cea7abb815c2b9fdc8a 7927 coq-simple-io_1.11.0-1build3_source.buildinfo
Checksums-Sha256:
 b2c91011948dc76b4d58a4157e4289c0d5306c1e1563eb50cb41f4f1b50e566a 2169 coq-simple-io_1.11.0-1build3.dsc
 8b52cceea289b919b6fbd0078de6e635ea1c30f4f7d7ba6148777f4d6283e128 2788 coq-simple-io_1.11.0-1build3.debian.tar.xz
 6a37fb1a8c24b7c1bd3b5898fef5f11629d8380b36780d5daf62203f567a9993 7927 coq-simple-io_1.11.0-1build3_source.buildinfo
Files:
 9cb7276f3580ab9798fe69b446038a87 2169 ocaml optional coq-simple-io_1.11.0-1build3.dsc
 0bdc12bb50f50661d8536ccb34f7a197 2788 ocaml optional coq-simple-io_1.11.0-1build3.debian.tar.xz
 1ae1e2fea1e4a5e9c56220191bb64836 7927 ocaml optional coq-simple-io_1.11.0-1build3_source.buildinfo