Bug#1014572: marked as done (ITP: coq-simple-io -- Coq plugin for purely functional IO)
Your message dated Fri, 08 Jul 2022 23:00:09 +0000
with message-id <E1o9wxF-0007Yv-US@fasolo.debian.org>
and subject line Bug#1014572: fixed in coq-simple-io 1.7.0-1
has caused the Debian Bug report #1014572,
regarding ITP: coq-simple-io -- Coq plugin for purely functional IO
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)
--
1014572: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1014572
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Julien Puydt <jpuydt@debian.org>
X-Debbugs-Cc: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>, jpuydt@debian.org
* Package name : coq-simple-io
Version : 1.7.0
Upstream Author : Li-yao Xia
* URL : https://github.com/coq-community/coq-simple-io
* License : Expat
Programming Lang: Coq
Description : Coq plugin for purely functional IO
This package provides a plugin to implement
Input/Output (IO) programs directly in Coq, in a
style similar to Haskell's.
.
Coq is a proof assistant for higher-order logic.
I plan to maintain this package in the Debian OCaml Maintainers team, along
with the rest of the Coq-related packages.
Cheers,
J.Puydt
--- End Message ---
--- Begin Message ---
Source: coq-simple-io
Source-Version: 1.7.0-1
Done: Julien Puydt <jpuydt@debian.org>
We believe that the bug you reported is fixed in the latest version of
coq-simple-io, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 1014572@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Julien Puydt <jpuydt@debian.org> (supplier of updated coq-simple-io package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 08 Jul 2022 08:45:34 +0200
Source: coq-simple-io
Binary: libcoq-simple-io libcoq-simple-io-dbgsym
Architecture: source amd64
Version: 1.7.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
libcoq-simple-io - Coq plugin for purely functional IO
Closes: 1014572
Changes:
coq-simple-io (1.7.0-1) unstable; urgency=medium
.
* Initial release. (Closes: #1014572)
Checksums-Sha1:
85ebe4564fb6302e58162ab4aab6f8603c33d011 2146 coq-simple-io_1.7.0-1.dsc
6a8f8c0a1bfde7b1476a0da5196e3e08ac1dbd0e 26183 coq-simple-io_1.7.0.orig.tar.gz
d644ee5175b8f56650e6016a0d6e887066a286b0 1872 coq-simple-io_1.7.0-1.debian.tar.xz
9238ec832f525e6bc6b56ce1be46397759a85f18 7512 coq-simple-io_1.7.0-1_amd64.buildinfo
041be5758c8be53b94fd0d76457b9f84f9b34c2d 4096 libcoq-simple-io-dbgsym_1.7.0-1_amd64.deb
9cc944142619190c30a20d02059656dcef3ade08 79472 libcoq-simple-io_1.7.0-1_amd64.deb
Checksums-Sha256:
96bf9e6bd9905e9b74db057c26acaa7776d5cc27cb9a15e5348d89a646931af4 2146 coq-simple-io_1.7.0-1.dsc
2460e1403c5898ccc5b5f84be10b4acdf93393cce4e49e0fc73dc57b9463e144 26183 coq-simple-io_1.7.0.orig.tar.gz
24a26afdc3b342d487c18fdb235fdbbd6324f8fc19ec5ecfd290cf32a10f2444 1872 coq-simple-io_1.7.0-1.debian.tar.xz
97c09c74cd1a69dfbced3e37f208a66ddf91a584d5a40ce982eb79080f1d596b 7512 coq-simple-io_1.7.0-1_amd64.buildinfo
480691ecaf4fde0dae7677a05d0409a94bc7935d6d267bc80227b015943e05b3 4096 libcoq-simple-io-dbgsym_1.7.0-1_amd64.deb
1102824c222f339db18856a06d0903cd5af04f1345415544ded89918ee66bc3f 79472 libcoq-simple-io_1.7.0-1_amd64.deb
Files:
144ae73122a54386b84eefebce7a2638 2146 ocaml optional coq-simple-io_1.7.0-1.dsc
ebf304b8be97070fde8e2383eba96984 26183 ocaml optional coq-simple-io_1.7.0.orig.tar.gz
4a357597a02f5c95b0cd60ad534472ee 1872 ocaml optional coq-simple-io_1.7.0-1.debian.tar.xz
4b19ce35869df7179b152d5c557ab9a4 7512 ocaml optional coq-simple-io_1.7.0-1_amd64.buildinfo
6d0bc8bda566f3fcb6251ff4baa5a423 4096 debug optional libcoq-simple-io-dbgsym_1.7.0-1_amd64.deb
c7cc8cce174761dc657cef38eabe752c 79472 ocaml optional libcoq-simple-io_1.7.0-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLH0q8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR6NoQAJzJ2x0Y9aXOvNPRMYkrzDT6zKmeWSDC
+3zt0ZOYe7tltfwLOSnH59eITtkSDIICUns82CeTzx4DEtocwfrczd66eoyO1OY/
bvp7epR7wm5ghTw13ZXIQKJCdX9bKuTMZRX/7kmEs8LzJvF8Zvy7GKhJl1NqzXwC
hdOvnXKdTVCEv1ZWMB4N1/3aTUJdlhmrs+WzKuIcFjG2K4Ln6PG6a9ky1/oME3Uh
XfR550y4+6Zpz6HG8nSS7uhnFBDDNPdSKHsP5NQjKYOLlRXZ+Wxw31pez8GDnGJf
S16F4Wn79T8zwA9sXxpGbJxvDOGXRQ+F6Q7/OmPPqd69b257Ryv2WkvIu5GMXjA2
iX8ilFw0pQEQl7ET0vUpvlLiSkTxX9glZMVO60HjEPgQNgQOGI5EDvTIUHjyudQv
Zuf+HSE5AGdrPJT+VkRP9FZQs5VzG0s9qHI6J4oCpslxQ+sRs4FLBSWGHFZl8694
pleKcFg6s/dUDyKjUaRA2bKclGdUxhZ6lA2+N4Lh0NvAeG1WKGXJCR7zRX0HGbpi
LE0A4/WLK6MLZbYJ3fsCbxUencvPDtkNKTwmPd7uCWZHNPASjl7lm0mCnfbhoYVg
liyTCEIoh1INgFVRcXLeKFB3oHpn/hcgZf5bo02m6zgY8wLebn4xECDBBaS5cLix
EUk4TwpLM+GO
=9uUW
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: