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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 02 May 2024 22:13:22 +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-1build1
-------------- next part --------------
Format: 1.8
Date: Thu, 02 May 2024 22:13:22 +0200
Source: coq-simple-io
Built-For-Profiles: noudeb
Architecture: source
Version: 1.9.0-1build1
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-1build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 6430cefb88ef756e1f19b7e6751baf153c4a77d0 2162 coq-simple-io_1.9.0-1build1.dsc
 f742b4ba7fdc836b78cddfc8cc12c258164572e2 2628 coq-simple-io_1.9.0-1build1.debian.tar.xz
 b3c49bf8c6d8e1419d7f18e819e45be3786cf7e9 7840 coq-simple-io_1.9.0-1build1_source.buildinfo
Checksums-Sha256:
 65411b7dbeed0d5793a47cfd8e681a5da718c5cfcf8589ff3c2b27cfd5fc8bba 2162 coq-simple-io_1.9.0-1build1.dsc
 b39c95241a5414d0c6b784b3c3f8971461d3f4752d56eabded253e2ef84f9759 2628 coq-simple-io_1.9.0-1build1.debian.tar.xz
 723cc9b9938f274a3076613fd1913ec0b7bb86944c4160f469d5bc7884b908a1 7840 coq-simple-io_1.9.0-1build1_source.buildinfo
Files:
 cbdfdbcefa46ad443bb4b34569b82eb2 2162 ocaml optional coq-simple-io_1.9.0-1build1.dsc
 0ece620a28848f5134d139d94eebf388 2628 ocaml optional coq-simple-io_1.9.0-1build1.debian.tar.xz
 351f7027d70c90d9e8d794336d7d9aa2 7840 ocaml optional coq-simple-io_1.9.0-1build1_source.buildinfo