[ubuntu/oracular-proposed] coq-simple-io 1.9.0-2build1 (Accepted)

[Gianfranco Costamagna]

coq-simple-io (1.9.0-2build1) oracular; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 15 Aug 2024 08:41:25 +0200
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.9.0-2build1
-------------- next part --------------
Format: 1.8
Date: Thu, 15 Aug 2024 08:41:25 +0200
Source: coq-simple-io
Built-For-Profiles: noudeb
Architecture: source
Version: 1.9.0-2build1
Distribution: oracular
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.9.0-2build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 aba8e5709cebb40638a1da589bcf2cf94129abc7 2162 coq-simple-io_1.9.0-2build1.dsc
 38311430e306db696b325318c0669fab4f1ad221 2696 coq-simple-io_1.9.0-2build1.debian.tar.xz
 d35c3f089628376d01058bdbb68e124421d22fb1 7864 coq-simple-io_1.9.0-2build1_source.buildinfo
Checksums-Sha256:
 35fbbcf477180f010695f4ce288303302defefc26dad55499c4ed17f50854ad6 2162 coq-simple-io_1.9.0-2build1.dsc
 2e6f771d4018b1ea25c55c91e6f454019699968ad858650935a227c8398c9a85 2696 coq-simple-io_1.9.0-2build1.debian.tar.xz
 7f4db5c6a2fd9df9cb0cf326108e50f43aa79c8e852c9e58d3244996591eb5b9 7864 coq-simple-io_1.9.0-2build1_source.buildinfo
Files:
 b8ecefcc253e9c0bc84506e243b2f462 2162 ocaml optional coq-simple-io_1.9.0-2build1.dsc
 3985d828bd209b0b0cb8bb571fbc48cd 2696 ocaml optional coq-simple-io_1.9.0-2build1.debian.tar.xz
 311d8906fd176ae05e472afb9de93fa9 7864 ocaml optional coq-simple-io_1.9.0-2build1_source.buildinfo