Bug#1010767: marked as done (ITP: coquelicot -- Coq library for real analysis)
Your message dated Thu, 12 May 2022 18:00:09 +0000
with message-id <E1npD6f-0002qt-IK@fasolo.debian.org>
and subject line Bug#1010767: fixed in coquelicot 3.2.0-1
has caused the Debian Bug report #1010767,
regarding ITP: coquelicot -- Coq library for real analysis
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.)
--
1010767: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1010767
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 : coquelicot
Version : 3.2.0
Upstream Author : S.Boldo, C.Lelay and G.Melquiond
* URL : https://coquelicot.saclay.inria.fr/
* License : LGPL-3
Programming Lang: Coq
Description : Coq library for real analysis
This package provides a formalization of real analysis compatible
with the Coq standard library.
.
Coq is a proof assistant for higher-order logic.
I plan to maintain the package within the Debian OCaml maintainers team, along
with the other Coq-related packages.
Cheers,
J.Puydt
--- End Message ---
--- Begin Message ---
Source: coquelicot
Source-Version: 3.2.0-1
Done: Julien Puydt <jpuydt@debian.org>
We believe that the bug you reported is fixed in the latest version of
coquelicot, 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 1010767@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 coquelicot 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: Mon, 09 May 2022 19:49:42 +0200
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: source amd64
Version: 3.2.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-coquelicot - Coq library for real analysis
Closes: 1010767
Changes:
coquelicot (3.2.0-1) unstable; urgency=medium
.
* Initial release. (Closes: #1010767)
Checksums-Sha1:
ba1046c7a2feaa3037f3e7fdcb4c0d6cbdc487a8 2048 coquelicot_3.2.0-1.dsc
0b00fc7c6d70433af8aee17718b39402de1ed3f9 277736 coquelicot_3.2.0.orig.tar.gz
7fde84514606023a1b478620b5fae5cd57aa844d 2080 coquelicot_3.2.0-1.debian.tar.xz
9eb432cb27d3bfab27ce1cda85a0030a09ab54db 7062 coquelicot_3.2.0-1_amd64.buildinfo
954e078ac3f3367619f742b7705ee8ff2b3a40b4 3267284 libcoq-coquelicot_3.2.0-1_amd64.deb
Checksums-Sha256:
61318bc6b252e4e9dcb62a298e617af2275292c7fd8a711aea4dfece41f27234 2048 coquelicot_3.2.0-1.dsc
2a18b378803d1bbe71b528a1b800f94a4f2e1a7f9d3654f12c62355fcacd7d6c 277736 coquelicot_3.2.0.orig.tar.gz
c96ad1374d36904ff4e366482e5fdbfe3fb7bdf57e727aacc3808b2aec763703 2080 coquelicot_3.2.0-1.debian.tar.xz
95f9d73ffae88be3b4f35cc36622c47e916582ede4bd1e7871793d2606bc0710 7062 coquelicot_3.2.0-1_amd64.buildinfo
d189ab3dafd33247fac2eda69b5fb1c54bb67e2986dfea04c1ac7a3d7db5b3f0 3267284 libcoq-coquelicot_3.2.0-1_amd64.deb
Files:
fa0a37126a77a0079ea7c3188b5059f7 2048 ocaml optional coquelicot_3.2.0-1.dsc
ecabe7b5f5286064fd4bff35fcd42673 277736 ocaml optional coquelicot_3.2.0.orig.tar.gz
ed4f7657e4188a67f376f7f858bc19c8 2080 ocaml optional coquelicot_3.2.0-1.debian.tar.xz
f7c0faa013beadcfae9a75dd5b6efd37 7062 ocaml optional coquelicot_3.2.0-1_amd64.buildinfo
619d57c06f7ce83729b76b758bc71872 3267284 ocaml optional libcoq-coquelicot_3.2.0-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ5VucSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR40EQAJtLyMwLbp92opmZbsulefQLIraVKSQc
kF5Nf73tT0sXqVmFfnkyEAeuRCEXpaSlEYkV02ABm5LgUZtX4iHnTlEKInOzfdrY
+A9fAFdbzdhLvQzVgQ48fJiuCBBrAn04Mg3zNPMLZnvbIqVon6osn+JcOPxeZiiO
WY+9mYOVk4pq7AaK7MINUv25kC4chsSOmh4yWWmgCOle7IL8lcNj3FuGuyejG8yR
pV4dPyZDdfpyfs5xZZb1GZUm5ROytcMrTMaV3BQUmiw7awaHiGZjv6ZVjs812/hx
D3vTu0mM0N49UUVqgn/2rJNqVTWv+SezlOwtQN8dYML20vQpXKVh0lShkN+GfdTM
XwaMEA6yRb1N86KF5wDPEuqFDPIIsEB8U/cxJv/GqI/K8Ig+giSVjQc1LK2d2ovw
0xq/KXMYFocokOVGL3/whLn660SftHPUZA77S/d2fOa/hGcHSmNCHHx+IH1HF1oV
5rHJ6gaybB+Adm0TCuY6pD1zbWcDmtSvMNhtG9VyeYNO2w5xa9CRTL8AX7kpYYiA
zustZRVWi3QCDNX27O5NWXAxS/rYIE8oFrjZmKcpd3/RdnLhOe4Y5/1jsbmiVJKf
O6WXgysEaoVQxho1JHrJlI1Ob5MtLnlKgc8JqJseEKl/TUM1912j2GFkVrpHzH8A
pBCqU6+AB6hQ
=YJzO
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: