[ubuntu/lunar-proposed] coq-simple-io 1.8.0-2ubuntu2 (Accepted)

[Gianfranco Costamagna]

coq-simple-io (1.8.0-2ubuntu2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 19:31:56 +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.8.0-2ubuntu2
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 19:31:56 +0100
Source: coq-simple-io
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.0-2ubuntu2
Distribution: lunar
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.8.0-2ubuntu2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 10e405bfe905cd664cceaa8d823640fa171301e1 2154 coq-simple-io_1.8.0-2ubuntu2.dsc
 e526ae02cd48c5505a5539f996ac578bc7cfd6f7 2300 coq-simple-io_1.8.0-2ubuntu2.debian.tar.xz
 e544ecc37f1077a8862e13675834638e422b922a 7164 coq-simple-io_1.8.0-2ubuntu2_source.buildinfo
Checksums-Sha256:
 99b0e56bc1ffabd288427db06905fc3267e0b9df9dcd334ae85f4b69f6647229 2154 coq-simple-io_1.8.0-2ubuntu2.dsc
 32b3b76faa5d795371c28abc79ef7475b6983737aed900fe7b8a5afeeb1b8704 2300 coq-simple-io_1.8.0-2ubuntu2.debian.tar.xz
 2876a1239c9f7d539670f7d667ef5708423f3ce3eced48f155c0fc198d3df10d 7164 coq-simple-io_1.8.0-2ubuntu2_source.buildinfo
Files:
 1c9f22b417786f584ee9519deacbdbfd 2154 ocaml optional coq-simple-io_1.8.0-2ubuntu2.dsc
 f86e22f56556568880f435cd8b8e5b5c 2300 ocaml optional coq-simple-io_1.8.0-2ubuntu2.debian.tar.xz
 012cec5a6fb70f67226f4de68f0e596d 7164 ocaml optional coq-simple-io_1.8.0-2ubuntu2_source.buildinfo