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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 10 Jan 2025 12:29:05 +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-1build2
-------------- next part --------------
Format: 1.8
Date: Fri, 10 Jan 2025 12:29:05 +0100
Source: coq-simple-io
Built-For-Profiles: noudeb
Architecture: source
Version: 1.10.0-1build2
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-1build2) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 8e6d1c8017baf2e97e571faa14c8543e14d96e62 2169 coq-simple-io_1.10.0-1build2.dsc
 e40e745c4fce266506f363b4aac3d71ccf2c2261 2772 coq-simple-io_1.10.0-1build2.debian.tar.xz
 b38fcb0841d5e5cbd40aa50216898bd8c19e51bd 7689 coq-simple-io_1.10.0-1build2_source.buildinfo
Checksums-Sha256:
 194991d386e9155d8de9ee565945558f96e605ed427739dd28f1edf0eca76bd5 2169 coq-simple-io_1.10.0-1build2.dsc
 f9171116f114b464f09de5cd9a416577e2e50d1e6cd8880bdb2631b72406737f 2772 coq-simple-io_1.10.0-1build2.debian.tar.xz
 00b94a9a2ee02fd4bd38b020d133a8d1b79be024d4f48e8c5e94e330ca5949d1 7689 coq-simple-io_1.10.0-1build2_source.buildinfo
Files:
 30adb03f7a5be3ddc27b6cdec70ef75c 2169 ocaml optional coq-simple-io_1.10.0-1build2.dsc
 c5b09237f2893d5a88d7ed18f4e23a4b 2772 ocaml optional coq-simple-io_1.10.0-1build2.debian.tar.xz
 c48a970fca2160115bf04de87ddc2226 7689 ocaml optional coq-simple-io_1.10.0-1build2_source.buildinfo