[ubuntu/plucky-proposed] coq-simple-io 1.10.0-1build1 (Accepted)

[Matthias Klose]

coq-simple-io (1.10.0-1build1) plucky; urgency=medium

  * No-change rebuild for OCaml ABI changes.

Date: Thu, 21 Nov 2024 08:06:27 +0100
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.10.0-1build1
-------------- next part --------------
Format: 1.8
Date: Thu, 21 Nov 2024 08:06:27 +0100
Source: coq-simple-io
Built-For-Profiles: noudeb
Architecture: source
Version: 1.10.0-1build1
Distribution: plucky
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.10.0-1build1) plucky; urgency=medium
 .
   * No-change rebuild for OCaml ABI changes.
Checksums-Sha1:
 1abd105f5935a9069bfde722b193004ae1169009 2169 coq-simple-io_1.10.0-1build1.dsc
 fe8cb7644bd9f008e596588f82d3e1d616244039 2724 coq-simple-io_1.10.0-1build1.debian.tar.xz
 db0c5723b8968476f369e941e5f9fa92e837860b 3837 coq-simple-io_1.10.0-1build1_source.buildinfo
Checksums-Sha256:
 a109d5f701a945c5447372dd5f88926b37303abb7f4fd7312ef306b9ddda164f 2169 coq-simple-io_1.10.0-1build1.dsc
 b42a32fbdff10c78ff510b011f51f9649285a24905dc3a200cd569d5f45c9622 2724 coq-simple-io_1.10.0-1build1.debian.tar.xz
 57888be20d05898ec745949d9e90b60a73e09bc8c92eed39bf0087305102d278 3837 coq-simple-io_1.10.0-1build1_source.buildinfo
Files:
 87fa1e50201f4f3a3921a7b8185b79c2 2169 ocaml optional coq-simple-io_1.10.0-1build1.dsc
 22e7625c6a665ecd838b72d343b5d4e2 2724 ocaml optional coq-simple-io_1.10.0-1build1.debian.tar.xz
 7e374b664a14893ae15d1b224bb00152 3837 ocaml optional coq-simple-io_1.10.0-1build1_source.buildinfo