Bug#1014921: marked as done (ITP: coq-iris -- high-order concurrent separation logic framework for Coq)
Your message dated Mon, 18 Jul 2022 15:02:01 +0000
with message-id <E1oDSG1-0000PL-5S@fasolo.debian.org>
and subject line Bug#1014921: fixed in coq-iris 3.6.0-1
has caused the Debian Bug report #1014921,
regarding ITP: coq-iris -- high-order concurrent separation logic framework for Coq
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.)
--
1014921: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1014921
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-iris
Version : 3.6.0
Upstream Author : iris developers and contributors
* URL : https://gitlab.mpi-sws.org/iris/iris
* License : BSD-3-clause and CC-BY-4.0
Programming Lang: Coq
Description : high-order concurrent separation logic framework for Coq
This package provides a high-order concurrent separation
logic framework for Coq, which means it is useful to reason
about safety of concurrent programs.
.
Coq is a proof assistant for higher-order logic.
I plan to maintain this package within the Debian OCaml Maintainers team, along
with the rest of the Coq-related packages.
Cheers,
J.Puydt
--- End Message ---
--- Begin Message ---
Source: coq-iris
Source-Version: 3.6.0-1
Done: Julien Puydt <jpuydt@debian.org>
We believe that the bug you reported is fixed in the latest version of
coq-iris, 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 1014921@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-iris 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: Thu, 14 Jul 2022 18:05:39 +0200
Source: coq-iris
Binary: libcoq-iris
Architecture: source amd64
Version: 3.6.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-iris - high-order concurrent separation logic framework for Coq
Closes: 1014921
Changes:
coq-iris (3.6.0-1) unstable; urgency=medium
.
* Initial release. (Closes: #1014921)
Checksums-Sha1:
3ba87b3ef041f3e85b1911ed2db419ccd7c381d9 2147 coq-iris_3.6.0-1.dsc
3c1db57e7332c5695a5e21487433ca9eeaa5d1bf 665224 coq-iris_3.6.0.orig.tar.gz
d894cdb778956893922ff5d3919987822a85b867 11856 coq-iris_3.6.0-1.debian.tar.xz
c453042192e9d3fd84711e8df5dec5e76d72cbcf 13749 coq-iris_3.6.0-1_amd64.buildinfo
c3b722fc258b4cbc9e93ec27991b6487c43a68a8 11173452 libcoq-iris_3.6.0-1_amd64.deb
Checksums-Sha256:
eeab6639d13ba61fd39b0dc016cac1e185db316214ec754c228fe411fc45d1b9 2147 coq-iris_3.6.0-1.dsc
29f43a378f4e4c9a19e1fa0013c9e9f2ad026999c8ba625fb085b0266828a64c 665224 coq-iris_3.6.0.orig.tar.gz
f5426af42e7a128a7031b8b8b11c900371bed6a766b6c80957e5cfe3e5400d6e 11856 coq-iris_3.6.0-1.debian.tar.xz
34f2fd4cfe4a195a9362c1fa55fe36b49acddb7d2827a72607a1e1c949aa3ca0 13749 coq-iris_3.6.0-1_amd64.buildinfo
f56f7da0fbf5cf96f3d6a4f59a5d5120d12df33e80163e184c6a776acbac4a98 11173452 libcoq-iris_3.6.0-1_amd64.deb
Files:
f7d17b4a66161c949e74b765e506b7fa 2147 ocaml optional coq-iris_3.6.0-1.dsc
4ce793ee59065df58cef5f6deabc709a 665224 ocaml optional coq-iris_3.6.0.orig.tar.gz
eaf44109739149a07f209f1f51c83a77 11856 ocaml optional coq-iris_3.6.0-1.debian.tar.xz
b94ba93363e093bcc72eb941ac4a6e73 13749 ocaml optional coq-iris_3.6.0-1_amd64.buildinfo
dd0ab7201f5d5209c3382145f00ec2a8 11173452 ocaml optional libcoq-iris_3.6.0-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLQSSQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRNnoQAIRJokt0QdYozu6JQoufwGJMFtQ+H6Ba
rn0qd9QLUEBgUJuaeboIA3jCw68Urh5wrw+xmRi8E6mV3kOdLJCiy5D8XLYvemhO
HybusF3bWFBRBFFXnvFrwyejkBr062yj44l6lqgmcdUeaMUoCwDTre/5452gJM/F
9jd5gzeJRmrRbD0y37oAPhQXc17WvJ11Tb7BZX3U7IrZChYKLAOoBaBDOaaNRcGM
VOLfuiXcDhhDmI1zHTHnCJKMlJK4cpyQfDG7oB6RYTnUanJBaeRUKa0ryF5Z5d3f
U9WRyYFvAiTZRzDoc875emaIyZE/RGD9xIkd/OKSnmKeyWXCqJvOiGNZCkiyy4uB
W90um2rZ8EMVvn7FvereJ/pGdzlo7eHIlea6T4KVsiQyRSXE4AckhZjEkZTLHlQ8
NNAiXv936+BtpVJjrYzdgVAmFrrRXCGBu2T2FwH6bpgV5ajr4eoF1sDICBJuwQG8
NmNa0pdqZLku0eogrl+UnhxDN+GxklAgQ+dibJmsELjFx/mGm3p8gReiHKfANw6h
t7Hxx2+lsgzdzXMu2QludvQT0SQfz2gQVugEp5aD03tyKSqgpNynA/kWjWrGM7fg
LWgmkyxl+Ky5ayGv2E9wk5M4Dp7bG5Pub8QwRLWT1NcvoAFseiCTL2xZXzXNpPSu
M+xe0x8vVpzd
=SZlv
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: