[ubuntu/noble-proposed] coq-simple-io 1.8.0-3ubuntu5 (Accepted)

[Gianfranco Costamagna]

coq-simple-io (1.8.0-3ubuntu5) noble; urgency=medium

  * Use upstream proposed PR https://github.com/Lysxia/coq-simple-io/pull/63
    to fix the V exported value.

Date: Thu, 23 Nov 2023 09:23:56 +0100
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.8.0-3ubuntu5
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Nov 2023 09:23:56 +0100
Source: coq-simple-io
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.0-3ubuntu5
Distribution: noble
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.8.0-3ubuntu5) noble; urgency=medium
 .
   * Use upstream proposed PR https://github.com/Lysxia/coq-simple-io/pull/63
     to fix the V exported value.
Checksums-Sha1:
 87623b853d5b535344891322530a3c053ac582fa 2154 coq-simple-io_1.8.0-3ubuntu5.dsc
 946baeaf31040d730ceebbf2221f1e5d4686d5de 2880 coq-simple-io_1.8.0-3ubuntu5.debian.tar.xz
 e2b182119989d824d98af8dbfc8a7bc709853997 7824 coq-simple-io_1.8.0-3ubuntu5_source.buildinfo
Checksums-Sha256:
 225bd8b1993f7699812a85191692474547163e80a45aa40d00871e31901e3291 2154 coq-simple-io_1.8.0-3ubuntu5.dsc
 edda9c9ba82146316e644d0273a98f1d49258032f58295b155cd8a2a69e73ecf 2880 coq-simple-io_1.8.0-3ubuntu5.debian.tar.xz
 d519ea0b674b30916dd4de2951713c97f79823d8b5e022459527fe42170a885c 7824 coq-simple-io_1.8.0-3ubuntu5_source.buildinfo
Files:
 5475d090285a3e623a4e1d6251ec6dc3 2154 ocaml optional coq-simple-io_1.8.0-3ubuntu5.dsc
 4a42fd504db15717484bb8adb2e6f246 2880 ocaml optional coq-simple-io_1.8.0-3ubuntu5.debian.tar.xz
 867908ee21a5eb7102a76cf473f11eb4 7824 ocaml optional coq-simple-io_1.8.0-3ubuntu5_source.buildinfo