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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Wed, 19 Feb 2025 08:17:49 +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-1build6
-------------- next part --------------
Format: 1.8
Date: Wed, 19 Feb 2025 08:17:49 +0100
Source: coq-simple-io
Built-For-Profiles: noudeb
Architecture: source
Version: 1.10.0-1build6
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-1build6) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 61e62c85da03d78dfbb9d9e222ec5c8cf147f6d3 2169 coq-simple-io_1.10.0-1build6.dsc
 0409455e039b9bfe01659e1e887bff4bc2713df6 2864 coq-simple-io_1.10.0-1build6.debian.tar.xz
 0147fa4d2fe0614b56d255bf921d7716c948857d 7315 coq-simple-io_1.10.0-1build6_source.buildinfo
Checksums-Sha256:
 4619418abad118387011bb934c3fb1bbcb07129e52f50a910b8cf0137c661ac5 2169 coq-simple-io_1.10.0-1build6.dsc
 fef91a7af2cc155a94b452bfa07ae35e3792eeb739cd4570a70e28a7079fe6b4 2864 coq-simple-io_1.10.0-1build6.debian.tar.xz
 42ca40c2d5b6fa64e45afce2a8f21b06608dfe5a2c896016a4dc2d06eb41153a 7315 coq-simple-io_1.10.0-1build6_source.buildinfo
Files:
 0384d7ac5f0071ec3cef790f9129f877 2169 ocaml optional coq-simple-io_1.10.0-1build6.dsc
 38b9ccd16583d5d6781b24f410f416ef 2864 ocaml optional coq-simple-io_1.10.0-1build6.debian.tar.xz
 636f0fbdfb5e99aabd69a8298d49d1bf 7315 ocaml optional coq-simple-io_1.10.0-1build6_source.buildinfo