Bug#1010852: marked as done (ITP: paramcoq -- Coq plugin to generate parametricity statements)
Your message dated Sun, 15 May 2022 19:00:09 +0000
with message-id <E1nqJTN-0002L1-Ui@fasolo.debian.org>
and subject line Bug#1010852: fixed in paramcoq 1.1.3-1
has caused the Debian Bug report #1010852,
regarding ITP: paramcoq -- Coq plugin to generate parametricity statements
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.)
--
1010852: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1010852
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-maint@lists.debian.org, jpuydt@debian.org
* Package name : paramcoq
Version : 1.1.3
Upstream Author : Pierre Roux
* URL : https://github.com/coq-community/paramcoq
* License : Expat
Programming Lang: Coq
Description : Coq plugin to generate parametricity statements
This package provides a plugin for Coq to generate
parametricity statements, typically used in data refinement
proofs.
.
Coq is a proof assistant for higher-order logic.
I plan to maintain this package within the umbrella of the Coq OCaml
Maintainers team, along with the other coq-related packages.
Cheers,
J.Puydt
--- End Message ---
--- Begin Message ---
Source: paramcoq
Source-Version: 1.1.3-1
Done: Julien Puydt <jpuydt@debian.org>
We believe that the bug you reported is fixed in the latest version of
paramcoq, 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 1010852@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 paramcoq 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: Wed, 11 May 2022 17:02:41 +0200
Source: paramcoq
Binary: libcoq-paramcoq libcoq-paramcoq-dbgsym
Architecture: source amd64
Version: 1.1.3-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
libcoq-paramcoq - Coq plugin to generate parametricity statements
Closes: 1010852
Changes:
paramcoq (1.1.3-1) unstable; urgency=medium
.
* Initial release. (Closes: #1010852)
Checksums-Sha1:
429b9e905447adb38832ed29791aebe8f035b9e5 2003 paramcoq_1.1.3-1.dsc
5f36c83b4a730b073c080e995ec7fd089a8166ee 45726 paramcoq_1.1.3.orig.tar.gz
deaba6e466e10e9a8b9f5167dcd6a8aca7eca076 2544 paramcoq_1.1.3-1.debian.tar.xz
3d9eb2da2cd01c3458501f2ac748ebbe50fa11e2 12104 libcoq-paramcoq-dbgsym_1.1.3-1_amd64.deb
f8a1c5698c1cc191628c3e5165eb75c4555f2f0e 113988 libcoq-paramcoq_1.1.3-1_amd64.deb
5283e474f3c6e6560546996ebb7b59ad0014f0ef 7308 paramcoq_1.1.3-1_amd64.buildinfo
Checksums-Sha256:
044f22715ade03d5cd4ff416dbd0d6373647e48a89c5a9c127a981eeaf6f18ae 2003 paramcoq_1.1.3-1.dsc
235e1490f18b2985fd113b9bf17e33bf8b073360e13177c81f0e4879888420fc 45726 paramcoq_1.1.3.orig.tar.gz
476902d4365efd9438ce5e9fc287e449ee537a680be87a11e41d875c229b272c 2544 paramcoq_1.1.3-1.debian.tar.xz
035a8b264104866d6422cf0bc4cb8b4f4a82e0ebe2a93daf2bf3f2a89b51becf 12104 libcoq-paramcoq-dbgsym_1.1.3-1_amd64.deb
217e898a877a8c1a93b1c01f57480ff1373762657b783fb61cf0dad326feb507 113988 libcoq-paramcoq_1.1.3-1_amd64.deb
8559d4a4d1f1cef0749c0ee5649eebb7bb428410ed9e28ff4d387ae68234faeb 7308 paramcoq_1.1.3-1_amd64.buildinfo
Files:
7c1b79defb3ed7e9f2b4af9f7bf848a1 2003 ocaml optional paramcoq_1.1.3-1.dsc
d7ed4aab639d1670312b721bd82b0eec 45726 ocaml optional paramcoq_1.1.3.orig.tar.gz
94feeb64c7bfde2cdc3cc7fb10339ba2 2544 ocaml optional paramcoq_1.1.3-1.debian.tar.xz
ddc5e9a3b4903df61c30fff4a1bc9326 12104 debug optional libcoq-paramcoq-dbgsym_1.1.3-1_amd64.deb
7377e2f55ba9337a6b32d4af42c3844d 113988 ocaml optional libcoq-paramcoq_1.1.3-1_amd64.deb
2ff263a308e8eac71fed435147a3d0a0 7308 ocaml optional paramcoq_1.1.3-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ71SoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR/v8QAITqbkTMFd56uGvWrKjXtVWlI+mCFlIO
CLpE+Kf5U/RDEphaUh9OhDm9PkRLRVgzV+KdN+sjkxEJhl1tWZH/3D6ebTTwrBCh
A7VenS+PdzqNLfoG6FMVRsm59tELrpDzoJFNyhrC5K1TQXzvHde6mB6zFuO/3OKZ
qNjL4SjjAwOVnATzSayIGbrpCGnUsMA5uRgIEDUQHYejO1c2UqK3el0C/G6gZ5M0
s0VflbDf3ETkBYgKTy27QPjcKtdnaeA3+it28GyxqDyBf8GE+c2PJQjZlJVwRa9z
YFEqLD/2w4nUL+NC1Ozg9WOJGkwF7aYJILY3lTHT/04mSdDJbbHjycZ2800QwLGo
tkEF0KlVHUA9nnQd1+2icmYPtaRryT+yLl27hB6Q4HOtqGQTjlTQCr4/YozJi8oq
Flgop+u3m4nZDCHgPUZQdMk73WONAgH1RcOBi5BU5+NNYzFJIVKm43tJ9B0I1X1v
u4UVj8tuXEoahtZrYU2iICuv8gceFreCKVSFGoh4F8JX3XexGP6kS2gJlX+/GkOQ
4LAAWnnxRy167qFjWAxTgn8HilaFmdQGaKDJ7NkFc8+pbNtCvKIq7BEpe6EF7GhN
aY4P3JLgEziQOuTLVeP9ss+5j1iBygkxMLYcOFbcM3obTmGCJcsN9YYieC4ekDyH
6hhSJZwSqP88
=Do95
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: