[ubuntu/noble-proposed] coq-simple-io 1.8.0-4ubuntu2 (Accepted)

[Steve Langasek]

coq-simple-io (1.8.0-4ubuntu2) noble; urgency=medium

  * No-change rebuild for new libcoq-stdlib ABI

Date: Sun, 24 Mar 2024 00:15:17 +0000
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coq-simple-io/1.8.0-4ubuntu2
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Mar 2024 00:15:17 +0000
Source: coq-simple-io
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.0-4ubuntu2
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Changes:
 coq-simple-io (1.8.0-4ubuntu2) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-stdlib ABI
Checksums-Sha1:
 9803c0f38438c1f0cb35c5b9b5bcc0f8b679f736 2270 coq-simple-io_1.8.0-4ubuntu2.dsc
 4414e93705c4bc48bdf32aed56736a260ffad3c5 3248 coq-simple-io_1.8.0-4ubuntu2.debian.tar.xz
 aadb3468c0604be6432e2e887e05f8b18a92b1e6 6730 coq-simple-io_1.8.0-4ubuntu2_source.buildinfo
Checksums-Sha256:
 e352e2102a5ee87c5140d629bbf8830da0c3c9fe50cec5ee8252751c7154710c 2270 coq-simple-io_1.8.0-4ubuntu2.dsc
 32531b093ab339983c1727ae9694b2269f23ec7a0f2b8e171a43100cf8a06cb0 3248 coq-simple-io_1.8.0-4ubuntu2.debian.tar.xz
 f25f471ba57385fa909d64a5e1badc527e228b2875f6dd52a502bf7505597bf5 6730 coq-simple-io_1.8.0-4ubuntu2_source.buildinfo
Files:
 4a7150f0cc2cf4a7ca53f2b854b42bac 2270 ocaml optional coq-simple-io_1.8.0-4ubuntu2.dsc
 1d066f56cefe217989cd1c4b3810daca 3248 ocaml optional coq-simple-io_1.8.0-4ubuntu2.debian.tar.xz
 3b2ef2588f4a7b3c62cdf7c2b3443903 6730 ocaml optional coq-simple-io_1.8.0-4ubuntu2_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>