Bug#1005224: marked as done (ITP: mathcomp-analysis -- analysis extension for Mathematical Components)
Your message dated Sat, 12 Feb 2022 11:00:12 +0000
with message-id <E1nIq8S-0004MZ-6S@fasolo.debian.org>
and subject line Bug#1005224: fixed in mathcomp-analysis 0.3.13-1
has caused the Debian Bug report #1005224,
regarding ITP: mathcomp-analysis -- analysis extension for Mathematical Components
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.)
--
1005224: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1005224
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
X-Debbugs-Cc: debian-devel@lists.debian.org
Owner: Julien Puydt <jpuydt@debian.org>
X-Debbugs-Cc: debian-ocaml-maint@lists.debian.org
Severity: wishlist
* Package name : mathcomp-analysis
Version : 0.3.13
Upstream Author : Reynald Affeldt, Cyril Cohen, Assia Mahboubi,
Damien Rouhling, Pierre-Yves Strub
* URL : https://github.com/math-comp/analysis
* License : CeCILL-B
Programming Lang: Coq
Description : analysis extension for Mathematical Components
This package provides an extension for classical analysis
for the Mathematical Components library.
.
The Mathematical Components library is a coherent repository of
general-purpose formalized mathematical theories for the
Coq proof assistant.
I plan to support it within the Debian Ocaml Maintainers team,
alongside the other Coq-related packages we have.
Cheers,
J.Puydt
--- End Message ---
--- Begin Message ---
Source: mathcomp-analysis
Source-Version: 0.3.13-1
Done: Julien Puydt <jpuydt@debian.org>
We believe that the bug you reported is fixed in the latest version of
mathcomp-analysis, 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 1005224@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 mathcomp-analysis 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, 09 Feb 2022 14:02:31 +0100
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis
Architecture: source amd64
Version: 0.3.13-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
libcoq-mathcomp-analysis - analysis extension for Mathematical Components
Closes: 1005224
Changes:
mathcomp-analysis (0.3.13-1) unstable; urgency=medium
.
* Initial release. (Closes: #1005224)
Checksums-Sha1:
8dcf33082f7d72bcb1247aaa4b82867ae862499c 2195 mathcomp-analysis_0.3.13-1.dsc
605efeefa23fa40c7c79292b74c249a6afa3d9bd 513213 mathcomp-analysis_0.3.13.orig.tar.gz
21c0651aee8c344517c48563c348c1f6be9f08e1 8276 mathcomp-analysis_0.3.13-1.debian.tar.xz
15bdbc13f6a37fd2fcb5a295d6bcfe1ac275e147 5633384 libcoq-mathcomp-analysis_0.3.13-1_amd64.deb
5666b6969d15998671d0ca465c099335216481d0 8210 mathcomp-analysis_0.3.13-1_amd64.buildinfo
Checksums-Sha256:
493b85a637239afcaf6b0bf8c2f7cbc0022e908d7bad6dabb3186d0443e5515f 2195 mathcomp-analysis_0.3.13-1.dsc
422572233fcc00a812d853e62e83090718908bb296f44604a5762a6df35931de 513213 mathcomp-analysis_0.3.13.orig.tar.gz
81efdfd1e282327571bdaa4fd90b327202ece06f6d93d10516500de96fa4a04b 8276 mathcomp-analysis_0.3.13-1.debian.tar.xz
0a13632cb0aa5bb42ef51170afbe183c8c987c373da583cc37715ab3390ef501 5633384 libcoq-mathcomp-analysis_0.3.13-1_amd64.deb
4d4f511cf0a3c95f41c834c717f4adcdda046ecca65f09b2b5ee6ef6f02e2da6 8210 mathcomp-analysis_0.3.13-1_amd64.buildinfo
Files:
20732878e86bdaec1c485f10f2c1a3b3 2195 ocaml optional mathcomp-analysis_0.3.13-1.dsc
ab04c94e8db5319b6630358393eec3b7 513213 ocaml optional mathcomp-analysis_0.3.13.orig.tar.gz
5994a6a75efa85b2b1fc726ddb2c24c4 8276 ocaml optional mathcomp-analysis_0.3.13-1.debian.tar.xz
7fe6571593bd297f5f5a412f2b63d9dd 5633384 ocaml optional libcoq-mathcomp-analysis_0.3.13-1_amd64.deb
5bab2d9f675ca16624e60971e37b0d70 8210 ocaml optional mathcomp-analysis_0.3.13-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmIDvNkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRpkAQAIMvB3lMMPyxYrjUJ0AJZGuixqjr96YR
qF/bD57Qirhec2A+sd1aQb+VnLW/OWxNNsr8BmYF9UtMeSMza8q+JMove2RmN4P+
vBHnpKxUuNBVmRslTkcUuFD7wvuUbo1FNRcVBHL3TDDoh94M9QusOsdOhalD9mw6
LkxLTSF+Ho6hR2otfhfZck0QPVPwzt27PuUix/ntplQyxexcHbDg7EdW9quWkma5
eq3PjRYYZxSUnCUthE1SU3/JHWnjg5eo/qy096MDGLTBFpgp9cO/drSGBa4uXLCO
CpmUDCRZS9UnwY61kAvEblVtqVlfwuEHvKekVXQEwupiItP/Q2cHT9cOa4fN3iZp
sPtGHX0qetW7TZyAycxZ15xtziuUFisBTJTrLz10YgTTzPMh4NWNU1jIf6HKyLcg
4jjQ9cX5hKtlP6NAJJgDcfjHTXfoF3lieEj3LzQ+bxybYYRP8Pzl0zwH22UKJr1Z
hfpXqW51AibEWDYApDD07Var+TqohhrJItvaENoQRCWZCRW79O2AHiqbwI4948j9
J+8FNTQXDmN8GnrIKhHsqNnJo7WXBc2E6DuW/2g2JSz/XKyseH4qszA8JxfT620a
hsRZddnYVEUHVNDNyFgf+cY/Z1rwQdz1hD6uFhGpFEBVyuY8kHQSeujt/TOtbVo5
hB5zOXI7uJg7
=3zY+
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: