[ubuntu/plucky-proposed] coq-simple-io 1.10.0-1build4 (Accepted)

[Gianfranco Costamagna]

coq-simple-io (1.10.0-1build4) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 14 Feb 2025 00:46:38 +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.10.0-1build4
-------------- next part --------------
Format: 1.8
Date: Fri, 14 Feb 2025 00:46:38 +0100
Source: coq-simple-io
Built-For-Profiles: noudeb
Architecture: source
Version: 1.10.0-1build4
Distribution: plucky
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.10.0-1build4) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 034916c8a024e6e30a117a10295e5e0cbd221742 2169 coq-simple-io_1.10.0-1build4.dsc
 f018b7604439358ac30ba01e769561e79ca43943 2836 coq-simple-io_1.10.0-1build4.debian.tar.xz
 d4b9aee538e07f9af845b09fb64a980699f3ba7b 7315 coq-simple-io_1.10.0-1build4_source.buildinfo
Checksums-Sha256:
 1d2eb6d3cac6f8232bf4afabb3032a304e44ec437157755d5b55cd22776fb834 2169 coq-simple-io_1.10.0-1build4.dsc
 1874fcaf9430336e07545dfff98a50da1675e5393289e1ee46417da1b948fee5 2836 coq-simple-io_1.10.0-1build4.debian.tar.xz
 eb5934734fe682e59974a5c80b794b8307dbcb852550f37df3723eb294e737d8 7315 coq-simple-io_1.10.0-1build4_source.buildinfo
Files:
 20d73f47a1d78225ad94297a0b2b050c 2169 ocaml optional coq-simple-io_1.10.0-1build4.dsc
 64c1cbedb045fecae2ff8b152ad05f4b 2836 ocaml optional coq-simple-io_1.10.0-1build4.debian.tar.xz
 f4f8b85d000ead070081a2494bc37b97 7315 ocaml optional coq-simple-io_1.10.0-1build4_source.buildinfo