Bug#1014602: marked as done (ITP: coq-menhirlib -- support library for verified Menhir parsers)
Your message dated Fri, 08 Jul 2022 23:00:09 +0000
with message-id <E1o9wxF-0007Yc-Hv@fasolo.debian.org>
and subject line Bug#1014602: fixed in coq-menhirlib 20220210+ds-1
has caused the Debian Bug report #1014602,
regarding ITP: coq-menhirlib -- support library for verified Menhir parsers
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.)
--
1014602: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1014602
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-menhirlib
Version : 20220210
Upstream Author : Jacques-Henri Jourdan
* URL : https://coquelicot.inria.fr/fpottier/menhir
* License : LGPL-3+
Programming Lang: Coq
Description : support library for verified Menhir parsers
This package provides a support library for verified
Coq parsers produced by Menhir.
.
Menhir is a LR(1) parser generator for the OCaml programming
language and Coq is a proof assistant for higher-order logic.
I plan to maintain this package within the Debian OCaml Maintainers team along
with the other Coq-related packages.
Cheers,
J.Puydt
--- End Message ---
--- Begin Message ---
Source: coq-menhirlib
Source-Version: 20220210+ds-1
Done: Julien Puydt <jpuydt@debian.org>
We believe that the bug you reported is fixed in the latest version of
coq-menhirlib, 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 1014602@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-menhirlib 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 16:44:02 +0200
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: source amd64
Version: 20220210+ds-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
libcoq-menhirlib - support library for Coq-verified Menhir parsers
Closes: 1014602
Changes:
coq-menhirlib (20220210+ds-1) unstable; urgency=medium
.
* Initial release. (Closes: #1014602)
Checksums-Sha1:
bff42b6b9b2671d402968e1ece4e7579e6964188 2125 coq-menhirlib_20220210+ds-1.dsc
9f14a8f3d6fe60f445b98312249fc6a415d55cf6 38152 coq-menhirlib_20220210+ds.orig.tar.xz
de64ff7489f69c6404cb27a7850a67c2bf0d8d5a 1624 coq-menhirlib_20220210+ds-1.debian.tar.xz
d040c2f32954423af2a9eeb6b8c44346ab344979 7172 coq-menhirlib_20220210+ds-1_amd64.buildinfo
3b0e76b9af4eebae44cd4e84d2716953136c80e8 1435736 libcoq-menhirlib_20220210+ds-1_amd64.deb
Checksums-Sha256:
cb8dfb19d73fe4b0ea539a5ce495eca74f688fc52cb742fb6c669d7c3c16554e 2125 coq-menhirlib_20220210+ds-1.dsc
8a8916c99b2c033bb0848db6beaed5db78e67f308bd704e7f498f1861a9c77b1 38152 coq-menhirlib_20220210+ds.orig.tar.xz
b30df5050020ab94905e5ec12ea3470059e620c83b6a504788d6ad2e8b62821d 1624 coq-menhirlib_20220210+ds-1.debian.tar.xz
05f456ee925a790892662ef854e4ef93f5d28fdb8c173bc71866a3753a497096 7172 coq-menhirlib_20220210+ds-1_amd64.buildinfo
d6776849898f5411142069d0292d6b5dc80ebac6cd6895a68205202e8d54f306 1435736 libcoq-menhirlib_20220210+ds-1_amd64.deb
Files:
d411e6ed02fcdb4ffe47fd3654ebc471 2125 ocaml optional coq-menhirlib_20220210+ds-1.dsc
f8a31f9808fa3fe75b9d3f25cb7f3c14 38152 ocaml optional coq-menhirlib_20220210+ds.orig.tar.xz
86b51ae3914abd8d7f4e0494ae0f27fd 1624 ocaml optional coq-menhirlib_20220210+ds-1.debian.tar.xz
47d98159317bdcce29655384d7dea23b 7172 ocaml optional coq-menhirlib_20220210+ds-1_amd64.buildinfo
e03e0fbac9d1ae970679bb9b8af90079 1435736 ocaml optional libcoq-menhirlib_20220210+ds-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLIQywSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRt1AP/ikQliAkWG1vQwRNtggzstJDX10Z+6qK
f70f7ka8StcUP/+RD/qscgMK8KLHWCRBGK9bpVY4retFPeBCpYk7GR6wXMN7FtNh
j1eo7uQ8+BeLDH30arRK5kK0naVkP20J6Pd5prNHTwCCCI0SdhvBTbvJIfkYOqIR
84qYGq+C8ZjHNm1YCmLBCDaTpXjlhj1TMrn46MazpAvENb3dUA6djVxbVejqxu81
BEmAANnKyeVoQK+Om6bjktHt4z916R9wjwp2XdXTNzgMLaptTul6a94S+9m0NSMy
yWnX6KLM8L/FzBU37W08vDgHOgP7SuA1OzZ206z2JK9uTqjeWJv93eYPOpgonbhd
Cr5BcO7tVPfhV8klQpyTVWXTgnFUzH8ojJ09tv+ZaWG/jRnIHiP6aZrZOwSCExvk
KvDjlCY6IvOA6dc1t7pJG3TLasofowuX6UCYaf5mm6p38pIkMEry0rVT79rZoHTz
yduSm/fhETZ2BfMiLRZpAB+gyfwTndVV+JwM5BBNml9NV1UwWUnqd5hffG5LDxAI
htp2mluFU2rOXFg0bnV2DdZkpMHj3H43nL/k8lnj1yGlCsYVI70HkPVOgfyCUAtq
MNqPQzisbp18SrZP97QCDx2BBS9IrLj0YCtZXyz1SnLJ/hDf3p8vszLUb/o8OHjB
wTAerU3qPUkl
=Aoaf
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: