[ubuntu/noble-proposed] coq-simple-io 1.8.0-4ubuntu1 (Accepted)
Gianfranco Costamagna
locutusofborg at debian.org
Sun Dec 24 07:59:09 UTC 2023
coq-simple-io (1.8.0-4ubuntu1) noble; urgency=low
* Merge from Debian unstable. Remaining changes:
- Use upstream proposed PR https://github.com/Lysxia/coq-simple-io/pull/63
to fix the V exported value.
Date: Sun, 24 Dec 2023 08:57:47 +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-4ubuntu1
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Dec 2023 08:57:47 +0100
Source: coq-simple-io
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.0-4ubuntu1
Distribution: noble
Urgency: low
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-4ubuntu1) noble; urgency=low
.
* Merge from Debian unstable. Remaining changes:
- Use upstream proposed PR https://github.com/Lysxia/coq-simple-io/pull/63
to fix the V exported value.
Checksums-Sha1:
71761ab531d887115646ea3690950929fab4a2fd 2154 coq-simple-io_1.8.0-4ubuntu1.dsc
c82bc825688d70e33125e2157fea186a6d69e72f 3144 coq-simple-io_1.8.0-4ubuntu1.debian.tar.xz
6366e9775b989365177c2caf4ab5f4a3503775f5 7825 coq-simple-io_1.8.0-4ubuntu1_source.buildinfo
Checksums-Sha256:
06420b96e695f7b8bb11bcf0872cd7438c7fcfaa4bcee7647e1f66c2555e9688 2154 coq-simple-io_1.8.0-4ubuntu1.dsc
f141d4eeb0703312d6f01f2280b57b754c50f05112f8376877c70c23171345d7 3144 coq-simple-io_1.8.0-4ubuntu1.debian.tar.xz
0894b315ec026fc4b75a659b25e92886442cdeb4f357b7f7f649caf3415518c8 7825 coq-simple-io_1.8.0-4ubuntu1_source.buildinfo
Files:
5523bbbc35608ed856e89e2f96cb64d4 2154 ocaml optional coq-simple-io_1.8.0-4ubuntu1.dsc
3557b5a1689ae770b571761028766a64 3144 ocaml optional coq-simple-io_1.8.0-4ubuntu1.debian.tar.xz
8116aac02924dd818442247dd4b39a96 7825 ocaml optional coq-simple-io_1.8.0-4ubuntu1_source.buildinfo
More information about the noble-changes
mailing list