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

[Matthias Klose]

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

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 19:20: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-2build3
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 19:20:22 +0200
Source: coq-simple-io
Built-For-Profiles: noudeb
Architecture: source
Version: 1.9.0-2build3
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-2build3) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 45f3eea292fa427c6fa3cb22514f70d4a20b5eed 2162 coq-simple-io_1.9.0-2build3.dsc
 e27cbc314403753f4ed40969583ab2524d521054 2764 coq-simple-io_1.9.0-2build3.debian.tar.xz
 68b4ebc7902b318182b71c5429fd947249be5e6f 5708 coq-simple-io_1.9.0-2build3_source.buildinfo
Checksums-Sha256:
 ff176329ca52beb517851343d0439291e3207860a77eb36d038d3d69e5e2053b 2162 coq-simple-io_1.9.0-2build3.dsc
 734631e3ec65f30ad8514c337f610bc73e974bfb015ad3a2f10b4ecb930556a4 2764 coq-simple-io_1.9.0-2build3.debian.tar.xz
 237df75a4da005b4353fe8b3e6bd63ca5ea8c2af30844f1b37c6f40cbff7aedb 5708 coq-simple-io_1.9.0-2build3_source.buildinfo
Files:
 d538101104b99959fc67842181ee10d1 2162 ocaml optional coq-simple-io_1.9.0-2build3.dsc
 9966d3d03789407383898cad47a8e350 2764 ocaml optional coq-simple-io_1.9.0-2build3.debian.tar.xz
 4f352039becc5c491bc6c8ea6b772c1e 5708 ocaml optional coq-simple-io_1.9.0-2build3_source.buildinfo