Your message dated Wed, 06 Jul 2022 22:02:24 +0000
with message-id <e1o9d6g-0002yf...@fasolo.debian.org>
and subject line Bug#1013963: fixed in coq-ext-lib 0.11.6-1
has caused the Debian Bug report #1013963,
regarding ITP: coq-ext-lib -- Collection of theories and plugins 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 ow...@bugs.debian.org
immediately.)
--
1013963: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1013963
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Julien Puydt <jpu...@debian.org>
X-Debbugs-Cc: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>,
jpu...@debian.org
* Package name : coq-ext-lib
Version : 0.11.6
Upstream Author : Gregory M. Malecha
* URL : https://github.com/coq-community/coq-ext-lib
* License : BSD-2-clause
Programming Lang: Coq
Description : Collection of theories and plugins for Coq
This package provides a collection of theories and plugins
that may be useful in other Coq developments.
.
Coq is a proof assistant for higher-order logic.
I plan to maintain this package within the Debian OCaml Team along with the
rest of the Coq-related packages.
Cheers,
J.Puydt
--- End Message ---
--- Begin Message ---
Source: coq-ext-lib
Source-Version: 0.11.6-1
Done: Julien Puydt <jpu...@debian.org>
We believe that the bug you reported is fixed in the latest version of
coq-ext-lib, 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 1013...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Julien Puydt <jpu...@debian.org> (supplier of updated coq-ext-lib 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 ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 28 Jun 2022 08:08:54 +0200
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: source amd64
Version: 0.11.6-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>
Changed-By: Julien Puydt <jpu...@debian.org>
Description:
libcoq-ext-lib - Collection of theories and plugins for Coq
Closes: 1013963
Changes:
coq-ext-lib (0.11.6-1) unstable; urgency=medium
.
* Initial release. (Closes: #1013963)
Checksums-Sha1:
61218e27aa5dd295c04f161ae30ece60bf020f86 2084 coq-ext-lib_0.11.6-1.dsc
08f9ecbc66572054676ae838d52fe8341316a1c1 82555 coq-ext-lib_0.11.6.orig.tar.gz
a7b5fc15b1b7bc2cee84aa78619b1fac9ab58ec5 1948
coq-ext-lib_0.11.6-1.debian.tar.xz
9c9b6253b27a4922b084275e4a3269ea228735f7 7129
coq-ext-lib_0.11.6-1_amd64.buildinfo
8fcfd45a707946c8bf5531fe7629513bc2f33fbb 763488
libcoq-ext-lib_0.11.6-1_amd64.deb
Checksums-Sha256:
b63d084b09e6c61c552698159b0f8dcf19e6e59d01a237f873c00ca8981c0eaa 2084
coq-ext-lib_0.11.6-1.dsc
ccc142b9e8ddb6b2f007cdded318e31c528ddbafe3b84a803f77e796e820b409 82555
coq-ext-lib_0.11.6.orig.tar.gz
7f0b0deb49e0d56a4de7b267de71fa9acaae1414e015aeee76551d941d3fb2cb 1948
coq-ext-lib_0.11.6-1.debian.tar.xz
215503ccb6c330bb46e78bcb3e7bb0d367fa3ff374981730be4212872489a18e 7129
coq-ext-lib_0.11.6-1_amd64.buildinfo
21e9fac31686c8b9dbf0a9d2eccddfb8d14622b66f8ec6b935f243e601397db8 763488
libcoq-ext-lib_0.11.6-1_amd64.deb
Files:
f36fcf11375bc2de45e81c6dd60f30f2 2084 ocaml optional coq-ext-lib_0.11.6-1.dsc
442577afb6ff3a02043478690057cc21 82555 ocaml optional
coq-ext-lib_0.11.6.orig.tar.gz
98439e3a1657ffe99baa59f71f068146 1948 ocaml optional
coq-ext-lib_0.11.6-1.debian.tar.xz
03109ba9874763ae7774f78e53bc8936 7129 ocaml optional
coq-ext-lib_0.11.6-1_amd64.buildinfo
9de08be5a3a10d54613473cdb23ff7fa 763488 ocaml optional
libcoq-ext-lib_0.11.6-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmK6m38SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRYg0P/3GOfZVy+ZFuQrq/+hddpjvGx0R4/Zw5
hW6e+5p8cpoUlNkEGQbBbKy/mdFn5aBzZJBrbOmf8+y1ijDkODXfnnsLghQhKhcF
ECA9Fk01NpUMLOQVt/Z52IYdWENvIXMeJJVoPqU4faAKFZ0oD3ZnwNr0aALiCOGo
Cj1vhVP5HEpBIXcS8/OD0iVhInc4Az7ns0A5/qJZU6/oyFm3D/EQz/BRAHlMlr2E
Tdex9Wdf9Wu0bglbd3ASeDchc+p5oUY9VgXprWFNG1upVrKwAW6OHUsEWVsJ/+e5
eDJvLZanNOPRUGKB3JCaXznegNh5XbZxFToC516MCA7RCEHLT41WnU6TcNQ881wG
QUhBzAzsDQj9zkBUVo429JQFyK9PW84j4VefVMnALdco+8bOHDZOdBgXsyrQ1LUV
9HNfwnlawkg3Kfbe9KaituLjcUoNVLgp/JKZlQlsjD/+T7Hg0Xch603bJja551dU
1WzoIc8dQDWUkkyfnoeaTirRuW4ci4E1wELUR9/aQjlasImGueVtaQxrDC9YTmEa
bWFb7n0p5sNPGw71zCtdeh7xn4DONXX3vviQx0na7Q8BG9hf+0rtck9zuyW+X2MU
PO/XryCQnJ7O9IDcw2soqn9jFIbQXpJfO5b7CMmgSRSSAbe/UlgUup94za4LaklL
/uNLfG9sVbYJ
=GYsW
-----END PGP SIGNATURE-----
--- End Message ---