Bug#1014940: marked as done (ITP: coqprime -- Primality certification for Coq)
Your message dated Mon, 18 Jul 2022 15:02:01 +0000
with message-id <E1oDSG1-0000Pu-KO@fasolo.debian.org>
and subject line Bug#1014940: fixed in coqprime 8.15-1
has caused the Debian Bug report #1014940,
regarding ITP: coqprime -- Primality certification 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 owner@bugs.debian.org
immediately.)
--
1014940: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1014940
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 : coqprime
Version : 8.15
Upstream Author :
* URL : https://github.com/thery/coqprime/
* License : LGPL-2.1
Programming Lang: C, OCaml, Coq
Description : Primality certification for Coq
Coqprime consists in:
- a library of facts from number theory
- a library for elliptic curves
- an efficient library for modular arithmetic
- tools to generate Pocklington and elliptic curve
certificates of primality
.
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: coqprime
Source-Version: 8.15-1
Done: Julien Puydt <jpuydt@debian.org>
We believe that the bug you reported is fixed in the latest version of
coqprime, 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 1014940@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 coqprime 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 10:22:26 +0200
Source: coqprime
Binary: coqprime-tools coqprime-tools-dbgsym libcoq-coqprime
Architecture: source amd64
Version: 8.15-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
coqprime-tools - Primality certification for Coq (tools)
libcoq-coqprime - Primality certification for Coq (library)
Closes: 1014940
Changes:
coqprime (8.15-1) unstable; urgency=medium
.
* Initial release. (Closes: #1014940)
Checksums-Sha1:
369ac5612714861c60d706bac95a154e606a8bb1 2144 coqprime_8.15-1.dsc
54268a36f46073d12733b9ac834b02e529b219c6 987167 coqprime_8.15.orig.tar.gz
e1eecfb9f414737f80885e970c8de40197cb139f 3512 coqprime_8.15-1.debian.tar.xz
cc8889c47c949932e55666be200da78750fddf1a 60144 coqprime-tools-dbgsym_8.15-1_amd64.deb
b17aa1773fc3dc9c919d2e786563f9ad65b99061 135200 coqprime-tools_8.15-1_amd64.deb
c0e4c723a34fd303080ccd7294457608e446c142 7882 coqprime_8.15-1_amd64.buildinfo
580727d952807fc630dde872211ec1e787771fd6 1643096 libcoq-coqprime_8.15-1_amd64.deb
Checksums-Sha256:
8987f821e1a59a917709f4135e7d8b869db10a578a0b401bf57d24f2866c5140 2144 coqprime_8.15-1.dsc
36dfc96d42794d44e46aa8e66a58f614823eee2fce1e044e162f2848f1895ba1 987167 coqprime_8.15.orig.tar.gz
1111e847cf66800406ab3a54b4d9f20006d34e7b39c0619a7438f7c4a7f476c1 3512 coqprime_8.15-1.debian.tar.xz
6591863f3ea13b3bc2e8cc191c6674901a3d4ecacef45210724d68b6baaceae9 60144 coqprime-tools-dbgsym_8.15-1_amd64.deb
cce6e67546a7e0937b76cd5241498f6658e8ec253378220421231a4abf09e9b8 135200 coqprime-tools_8.15-1_amd64.deb
4d8b05ce6d98c333020fd17bead1b229daf65b79d71baf8a4c25c4753772ac32 7882 coqprime_8.15-1_amd64.buildinfo
d9a9160fc070c253d41cbd31b538b172a6c7cdf6256326a409face131393385e 1643096 libcoq-coqprime_8.15-1_amd64.deb
Files:
7241f4060980305e38322641ebfe1110 2144 ocaml optional coqprime_8.15-1.dsc
0dc627139bc3e53bf5ebfc0a0803e216 987167 ocaml optional coqprime_8.15.orig.tar.gz
53d99f6f915001c4db4be087d0cd43d8 3512 ocaml optional coqprime_8.15-1.debian.tar.xz
d9101eabd493734d004cf75069ec6f8b 60144 debug optional coqprime-tools-dbgsym_8.15-1_amd64.deb
82d2816e4a03d271e894961843d9234b 135200 ocaml optional coqprime-tools_8.15-1_amd64.deb
fabcc863c3293a9b4f1bc9dbcab69ba1 7882 ocaml optional coqprime_8.15-1_amd64.buildinfo
dd260ca6947c0e98b02cea61a7e72a8e 1643096 ocaml optional libcoq-coqprime_8.15-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLRJRoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR+vgP/3B2VRjyfIpyt67cH6PZ9RVrQvnaRwpc
L/T/Oab5QLstBE0yQdgKJAbDh5zNMU7t4AxCxDwbowr2Xp90LJG7CpLR6acLhkG1
OCCUHt02hZYiWaGj1tdX6KL7BauHU6Scz7Mgl/TO/1dE1/4CMUNy2HyU/VnTCmZf
lg/TRYaTx/Ldk1nvDip6D6YCpyyy7OSmcmL3RnPvvnNuliJI0Q9FpeDoS2/YP/BN
l81GzxYcv3+dnfQf4MKUivIR0E99rVr1Pw9ks7B/9P7X3Go3cMyL+swbTC50fXym
ihq1OO+n9fXSL9NICKW/pH/JZDlEyzb5ivaor8klZ98Mvsozgw20GWDFy0Y8Dqgf
eK9OYFJ8x3x2VHRosFxxBP1Lwi7C2CXd5UdPcm0KdB1whKA7KOHvMLxS3yapCGr9
5HisyedcoIALuq1DnIOPdwUijfetoa7HdPMwFm+cwi33TVcQK1yoy7hOrnBBtDDs
2ynoarYJBcIyDATD3gWBvMnp+aMgljE4nJ6f1UcWFR0Us5PrK0Xj6xL5YXEPmWO6
sAp1S+W87iClV5nli3gCvyh2qx9+SUErEl7jbB54Kl8/2ZC9PwGaLkd0VlAuPiwB
2zY81wcroN1PjweCypbf0w4+aGATwL8Aohrgcuy26H/stvnjqJYfA4W02ABdz/p0
5TkKolo71XGe
=cwZB
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: