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

[Matthias Klose]

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

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 09:04:22 +0200
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-simple-io/1.9.0-2build2
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 09:04:22 +0200
Source: coq-simple-io
Built-For-Profiles: noudeb
Architecture: source
Version: 1.9.0-2build2
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 coq-simple-io (1.9.0-2build2) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 1c68a82e181de77b221dec373f633dedd5f5fe77 2162 coq-simple-io_1.9.0-2build2.dsc
 6df6d417ab40bf74ee828340c405f139fbc6dd2d 2760 coq-simple-io_1.9.0-2build2.debian.tar.xz
 b68681ae7c632dfda122da054150e74a4eb0a347 5708 coq-simple-io_1.9.0-2build2_source.buildinfo
Checksums-Sha256:
 84d3635ad14fa7f3cc3c6bc303232bd809ad903301784c9f3ce3bddce0da0932 2162 coq-simple-io_1.9.0-2build2.dsc
 98f7a0c878c3e5827e88d2ed0cb262225dce2bed2704f0197a6c7e99b3205545 2760 coq-simple-io_1.9.0-2build2.debian.tar.xz
 a2a09c7d7d4b582023e88af23d7f558f5ffa3693ca930e492ecb85323119858c 5708 coq-simple-io_1.9.0-2build2_source.buildinfo
Files:
 1b551788f7458658cab7a353eca78628 2162 ocaml optional coq-simple-io_1.9.0-2build2.dsc
 a0bb73ba1cb7b4446f9663aba278b5cb 2760 ocaml optional coq-simple-io_1.9.0-2build2.debian.tar.xz
 5b8b740026bd6fa438797c5767e79c77 5708 ocaml optional coq-simple-io_1.9.0-2build2_source.buildinfo