[ubuntu/oracular-proposed] coq-simple-io 1.9.0-1build2 (Accepted)

[Gianfranco Costamagna]

coq-simple-io (1.9.0-1build2) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 13 May 2024 20:23:33 +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.9.0-1build2
-------------- next part --------------
Format: 1.8
Date: Mon, 13 May 2024 20:23:33 +0200
Source: coq-simple-io
Built-For-Profiles: noudeb
Architecture: source
Version: 1.9.0-1build2
Distribution: oracular
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.9.0-1build2) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 fb51ceb91f2675f1b18b119bd15944a132759f28 2162 coq-simple-io_1.9.0-1build2.dsc
 4942f454688a5bebf29eb71c509507745fcac5fb 2644 coq-simple-io_1.9.0-1build2.debian.tar.xz
 626302bd29c5213d088df56e00a95009c35cd05b 7840 coq-simple-io_1.9.0-1build2_source.buildinfo
Checksums-Sha256:
 eb1356bf213023edbb330d4117c464d772a594b52d54944972ede97e14cd0553 2162 coq-simple-io_1.9.0-1build2.dsc
 59385def7caa31f491489bf88204acbd3fa8f23c8c4112f129cd8938d200869e 2644 coq-simple-io_1.9.0-1build2.debian.tar.xz
 ddcd75fd746b339760deafb26b9a0606c3abd29563f3a08569cec93f59d3d8b3 7840 coq-simple-io_1.9.0-1build2_source.buildinfo
Files:
 3a2b5c8512fb44dc92e0541232a13c41 2162 ocaml optional coq-simple-io_1.9.0-1build2.dsc
 d0a9f92a953ffb64889155d197ec28ad 2644 ocaml optional coq-simple-io_1.9.0-1build2.debian.tar.xz
 a9551bafefb6ee6c7335f7feb1f50c5e 7840 ocaml optional coq-simple-io_1.9.0-1build2_source.buildinfo