[ubuntu/noble-proposed] coq-simple-io 1.8.0-3ubuntu3 (Accepted)

[Gianfranco Costamagna]

coq-simple-io (1.8.0-3ubuntu3) noble; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Mon, 06 Nov 2023 17:16:01 +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-3ubuntu3
-------------- next part --------------
Format: 1.8
Date: Mon, 06 Nov 2023 17:16:01 +0100
Source: coq-simple-io
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.0-3ubuntu3
Distribution: noble
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-3ubuntu3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 98c7b4848bbaf36c21c037244949326f94766272 2154 coq-simple-io_1.8.0-3ubuntu3.dsc
 060c8cbfb8e769b1b779a005c73ce6a076ba9849 2488 coq-simple-io_1.8.0-3ubuntu3.debian.tar.xz
 4f522cb0a3a5dbe90bbd244b072336fca059ce2f 7824 coq-simple-io_1.8.0-3ubuntu3_source.buildinfo
Checksums-Sha256:
 cc493cc183804cf683e0a22427ad7fc9f928b58143acdecf82f5002df50050fd 2154 coq-simple-io_1.8.0-3ubuntu3.dsc
 93661b34683c2a32e8e94003303b922611f3131c2fe35d01c7313016602b0f02 2488 coq-simple-io_1.8.0-3ubuntu3.debian.tar.xz
 5665005544bd401476531d66c24bdab5f0ed465119ea91d0b98f0ff8fba1f617 7824 coq-simple-io_1.8.0-3ubuntu3_source.buildinfo
Files:
 4d215fdd7ca3bab165c7f8847462e9fd 2154 ocaml optional coq-simple-io_1.8.0-3ubuntu3.dsc
 5862b3f9edc2765c712a854d3e229db4 2488 ocaml optional coq-simple-io_1.8.0-3ubuntu3.debian.tar.xz
 8e6e757ab336f74f04bd3b6164e418b1 7824 ocaml optional coq-simple-io_1.8.0-3ubuntu3_source.buildinfo