Bug#1005215: marked as done (ITP: mathcomp-bigenough -- epsilon - N reasoning for Mathematical Components)
Your message dated Sat, 12 Feb 2022 11:00:12 +0000
with message-id <E1nIq8S-0004Mq-D3@fasolo.debian.org>
and subject line Bug#1005215: fixed in mathcomp-bigenough 1.0.1-1
has caused the Debian Bug report #1005215,
regarding ITP: mathcomp-bigenough -- epsilon - N reasoning 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.)
--
1005215: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1005215
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-bigenough
Version : 1.5.1
Upstream Author : Cyril Cohen
* URL : https://github.com/math-comp/finmap
* License : CeCILL-B
Programming Lang: Coq
Description : epsilon - N reasoning for Mathematical Components
This package provides an extension to reason with big enough
objects (mostly natural numbers) 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-bigenough
Source-Version: 1.0.1-1
Done: Julien Puydt <jpuydt@debian.org>
We believe that the bug you reported is fixed in the latest version of
mathcomp-bigenough, 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 1005215@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-bigenough 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 08:19:17 +0100
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: source amd64
Version: 1.0.1-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-bigenough - epsilon - N reasoning for Mathematical Components
Closes: 1005215
Changes:
mathcomp-bigenough (1.0.1-1) unstable; urgency=medium
.
* Initial release. (Closes: #1005215)
Checksums-Sha1:
68b651974e02bcc9b954acf2be5240ebd39ca378 2107 mathcomp-bigenough_1.0.1-1.dsc
fb23236e373c0cd475e7868940b5ab3a30c4f482 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
f4eedb7395c9148776d6b8ec9deb006d63a916e2 8340 mathcomp-bigenough_1.0.1-1.debian.tar.xz
615166d397b06dae3aeef87de9fd96b67cc8dc6a 25680 libcoq-mathcomp-bigenough_1.0.1-1_amd64.deb
48cd3d5ca35c2c2c93a0966b51a4d9c44c638e28 7791 mathcomp-bigenough_1.0.1-1_amd64.buildinfo
Checksums-Sha256:
f115dcf1776453fc8062f0bb3cd296e287e9087c0ac7b0cea32acae96a7f234b 2107 mathcomp-bigenough_1.0.1-1.dsc
a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
37a13c5d6b928889cae401ce25be7730e618c3171611a3f2222bbdc781450b03 8340 mathcomp-bigenough_1.0.1-1.debian.tar.xz
d7ea6261aa57bb37a814842bd8ff669af50d4bcf05e145e43534ebd55ef423fc 25680 libcoq-mathcomp-bigenough_1.0.1-1_amd64.deb
c270372f64d2d8e7d6f14ca8e1e53d10e3177614cf8bd7ea4ed823ba72f9053c 7791 mathcomp-bigenough_1.0.1-1_amd64.buildinfo
Files:
c5614956a8af9bdb0f61b65fd483d413 2107 ocaml optional mathcomp-bigenough_1.0.1-1.dsc
6643a658ea6c6fb32b788a730bedee55 12248 ocaml optional mathcomp-bigenough_1.0.1.orig.tar.gz
73340b37726d6d7f14353c43a2064dcb 8340 ocaml optional mathcomp-bigenough_1.0.1-1.debian.tar.xz
e26c02698ab74dd42a916478b4efee7d 25680 ocaml optional libcoq-mathcomp-bigenough_1.0.1-1_amd64.deb
bbbc1b94c25d9c7d34325f831b9583a5 7791 ocaml optional mathcomp-bigenough_1.0.1-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmIDayMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR90AP/3l7eJGmzmyp3rNQnKpYZeDeC3RGUA6U
Bl3tNbz7xgJ+S7Rps0/Wsxmfga+AG4gqLqO55m7ZqbZKF3OywJrqYZUYXicRj7vo
jE3A0ECfOjnx56AZlPmq3zOI9sJu3CtT6l917q1klzAL5AP1fNXXzJhPmrs9wIKy
vAQJThnN7pmW3IJvTAO/NIjZcKo6yGx1F6wlTSM+hLgEY5S8hNWxpKub9P8Q98kX
/3tnRFoyKhiNHoISKPfwRBa4CzHMBm5Kly5NHDIvjFTSP5+i0Mn00B7regfTpX5e
1XldznkENz+6yglKT2BQCsi82z4X8l1PqyhpA3jKceBWcztcT3PEmx32R24/BXdp
woaIcqkqDUH5TxCBn5lT/YNBizantnfA4CkUnVUCXTtBeRiXh5ScVAl8v4NoaqwO
E4w/41VBqpQCR6UfUieC3MSJ4+xRE5QtbzSkjTvrwZM9hsa6DFwYF4Eofqzk73ad
ynAA5rdXXKVLgrJuwM3l5SoAZSIbZ25wMb0cXc17VsW8WlCdy20xngJvGD6IeMQl
krsOZVa6gd1691U/l1uMWD7D3ah1JFny0FRvqBQQDKfB95esrc8Ny2ClRDjRKOw1
yIwqKi8PjdMcYWUpmatyHlZAIBhBCNTn1YsN4JMkICRHf8keqUtOd3GRF1/4QT4b
ZKinSGrqa+fs
=8IIh
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: