Bug#1014993: marked as done (ITP: coq-reglang -- representation of regular languages in Coq)
Your message dated Mon, 18 Jul 2022 16:00:10 +0000
with message-id <E1oDTAI-000BFT-V8@fasolo.debian.org>
and subject line Bug#1014993: fixed in coq-reglang 1.1.3-1
has caused the Debian Bug report #1014993,
regarding ITP: coq-reglang -- representation of regular languages in 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.)
--
1014993: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1014993
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-reglang
Version : 1.1.3
Upstream Author : Christian Doczkal, Jan-Oliver Kaiser, Gert Smolka
* URL : https://github.com/coq-community/reglang
* License : CeCILL-B
Programming Lang: Coq
Description : representation of regular languages in Coq
This package provides definitions and verified tranlations
between different representations of regular languages
for Coq: miscellaneous automata, regular expressions,
WS1S logic. It also contains various decidability results
and closure properties of regular languages.
.
Coq is a proof assistant for higher-order logic.
I plan to maintain it within the Debian OCaml Maintainers team, along with the
rest of the Coq-related packages.
Cheers,
J.Puydt
--- End Message ---
--- Begin Message ---
Source: coq-reglang
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
coq-reglang, 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 1014993@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-reglang 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, 15 Jul 2022 22:53:38 +0200
Source: coq-reglang
Binary: libcoq-reglang
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-reglang - representation of regular languages in Coq
Closes: 1014993
Changes:
coq-reglang (1.1.3-1) unstable; urgency=medium
.
* Initial release. (Closes: #1014993)
Checksums-Sha1:
d7e5ad61f78ddaf116164825f655e8eca807e189 2106 coq-reglang_1.1.3-1.dsc
851f2a363f8ff7103b18844f6dbcfb348ba3e2e3 67023 coq-reglang_1.1.3.orig.tar.gz
e2fbae33b38928f5ef08575a003f31a63562859b 8328 coq-reglang_1.1.3-1.debian.tar.xz
347174b13a9b2e324b3e1afd74ee89becf216759 7199 coq-reglang_1.1.3-1_amd64.buildinfo
f318a381729bbd88cb558ec08356b3c3a12b01d2 721656 libcoq-reglang_1.1.3-1_amd64.deb
Checksums-Sha256:
2ada31cfd864a69fd12610408a0cc1829440d4b093663abd8dbc4b90340f1598 2106 coq-reglang_1.1.3-1.dsc
eb36d5bdd375663f3cd3627f5f3cca54ddfc83982a1f8dc106b2424cf1ca371f 67023 coq-reglang_1.1.3.orig.tar.gz
6cab30ec0d3b1e8c07b399210f379863be9a2024eca3c1995a223e6f9bb4d7f9 8328 coq-reglang_1.1.3-1.debian.tar.xz
55ebf0badefc334bf2dc94cb1b5a978cf72412629e4a8de5a4348e18987c3547 7199 coq-reglang_1.1.3-1_amd64.buildinfo
fff7227467ec44740d487c0a658cb41dfe446bd06ca88904b8223eb006b061cb 721656 libcoq-reglang_1.1.3-1_amd64.deb
Files:
a7f93ad50a2c780bf8f3d33276a68e31 2106 ocaml optional coq-reglang_1.1.3-1.dsc
36011415d0f49a7dddcb02b89dffd288 67023 ocaml optional coq-reglang_1.1.3.orig.tar.gz
da86be93947bbd4e32f467ff95f222e4 8328 ocaml optional coq-reglang_1.1.3-1.debian.tar.xz
ff4c5036e8c76be00022e50fed8126ca 7199 ocaml optional coq-reglang_1.1.3-1_amd64.buildinfo
e4e9fd7c5a7c7cebf5af62eed2cb8305 721656 ocaml optional libcoq-reglang_1.1.3-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLR1G8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRDnYP/0M0hj+NQNz6T2stNj/MXCCxyqiTad7x
kvzQlROjgjuO9ttfD9f8mcHqDVVkv9ewhQPW3+6KIGl2bKF7JrXVNpPGKzWkQAM6
taXR8L3Jbr6f1n0e2dX0wc8rzNFdRF1jGYhP3LzOBH25qxhKdJvD9HPi9l0r8iKd
L1V5K9JntedEzViNwhKMen0BofuD1EaUsChKtvFfQCWU2I5lR+TXdjlv7C4j1Zku
iQ482R0KahpURdy85028GM5FLNS0w2nc5MrZyc1bMa3GA4uB6BLV/fEi+plIZHxg
G35EaQ82eRKAU8rNbm7fzTf9sNFWwQlb05NtgRpWX5Od2mr9CWRAaezPkxhCbNwL
7NHhWIu17Ic+f3bNJSzCTHsrqfAlpix67pc+Ng08PGcXU6gQL8dih1xDQ7x7VmGA
kybcJcR+ToU0n5ULTkEOpBUrEupfLAeue1LC8S+7pjhF+BFaR0THZWpqLZqUCgWd
Dz3xFj0CwUYJ4oQsj40T/ijnw2KAs7QdwxzRT9bYJm5n8QPA7zxuJ68K9Y6saRYI
P1aKTd1tvPG0xtSwxmGaVvYuoZcFtsHDqUjTl+8ZwY6V/Tt5g6z7s1pTB6w7be/i
D8N5nc+kpvuMHWnvQfa7slgyi171KTlxubo2pLABF6ig9sD13Fs5njfi+Xs53aaz
OGSahKr7+hfm
=IoFs
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: