Bug#1010612: marked as done (ITP: coq-bignums -- Coq library for big numbers)
Your message dated Thu, 12 May 2022 18:00:09 +0000
with message-id <E1npD6f-0002qc-96@fasolo.debian.org>
and subject line Bug#1010612: fixed in coq-bignums 8.15.0-1
has caused the Debian Bug report #1010612,
regarding ITP: coq-bignums -- Coq library for big numbers
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.)
--
1010612: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1010612
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 : coq-bignums
Version : 8.15.0
Upstream Author : Laurent Théry, Benjamin Grégoire, Arnaud Spiwack, Evgeny
Makarov and Pierre Letouzey
* URL : https://www.github.com/coq-community/bignums/
* License : LGPL-2.1
Programming Lang: Ocaml/Coq
Description : Coq library for big numbers
This package provides big numbers (natural numbers,
integers and rationals) in Coq, as BigN, BigZ and BigQ,
which used to be part of the standard library.
I plan to maintain the package within the Debian Ocaml Maintainers team, along
with the rest of the Coq packages.
Cheers,
J.Puydt
--- End Message ---
--- Begin Message ---
Source: coq-bignums
Source-Version: 8.15.0-1
Done: Julien Puydt <jpuydt@debian.org>
We believe that the bug you reported is fixed in the latest version of
coq-bignums, 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 1010612@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 coq-bignums 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: Thu, 05 May 2022 16:24:09 +0200
Source: coq-bignums
Binary: libcoq-bignums libcoq-bignums-ocaml libcoq-bignums-ocaml-dbgsym libcoq-bignums-ocaml-dev
Architecture: source amd64
Version: 8.15.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-bignums - Coq library for big numbers (theories)
libcoq-bignums-ocaml - Coq library for big numbers (runtime)
libcoq-bignums-ocaml-dev - Coq library for big numbers (devel)
Closes: 1010612
Changes:
coq-bignums (8.15.0-1) unstable; urgency=medium
.
* Initial release. (Closes: #1010612)
Checksums-Sha1:
45522f1cc61c2ad70e742728d71b92b655e64107 2188 coq-bignums_8.15.0-1.dsc
0379854bb55a0bd3291d7687ba77f349cf577188 115485 coq-bignums_8.15.0.orig.tar.gz
4665199d418b838b159a3459d63d389ea81b7b1d 1756 coq-bignums_8.15.0-1.debian.tar.xz
4a37b2bd8fdbfc6e940e8654cff66281271e5066 8014 coq-bignums_8.15.0-1_amd64.buildinfo
1434e8ed80ecca2301b24c57c398c326c56dbfc9 3484 libcoq-bignums-ocaml-dbgsym_8.15.0-1_amd64.deb
46dada58ba0cea1ddc641ee4c07fa45d6a1aa1ca 8852 libcoq-bignums-ocaml-dev_8.15.0-1_amd64.deb
8addd28e9a89f6e7ea0bd278209befba4f83790a 15160 libcoq-bignums-ocaml_8.15.0-1_amd64.deb
4bf7be1dad3b402c8b19a2f1e117672343253852 1808700 libcoq-bignums_8.15.0-1_amd64.deb
Checksums-Sha256:
6d7fbfcd18c7fc9899556b2ded712f8cb2558a28a16d7c09cda33a5f7de51222 2188 coq-bignums_8.15.0-1.dsc
0158a4687fc0387dcdf2ef5ed4460efeabefa2b2a884c7f0d3dfedfedcac309f 115485 coq-bignums_8.15.0.orig.tar.gz
68ea9d2d774b77beafc498c2a18f610604c753dbe3b4adc9db41566486b9fef1 1756 coq-bignums_8.15.0-1.debian.tar.xz
784d2580c3b0220deba09e48ef7aa3559b682d0d54cce2b52632d1b2b5eec089 8014 coq-bignums_8.15.0-1_amd64.buildinfo
bf82f2a6d95aa3ca73614fa9cc0ae77ffd4a788e7d6cc0584d2c6dc64e00beba 3484 libcoq-bignums-ocaml-dbgsym_8.15.0-1_amd64.deb
a20fdbee9530edba2ed3751d2b4b68de61ec8819d72ac91f5e152d2708d8a3e5 8852 libcoq-bignums-ocaml-dev_8.15.0-1_amd64.deb
633547efab38f6f19bdf36249dc48e2f07833a0a916c83a39b8a1a2518dceca8 15160 libcoq-bignums-ocaml_8.15.0-1_amd64.deb
b137609e8e4e7771b5c2b55d9b57bb7c42d3fd97c459266da103725663346d46 1808700 libcoq-bignums_8.15.0-1_amd64.deb
Files:
7189c2b67c49286a896e7c2934c93f7d 2188 ocaml optional coq-bignums_8.15.0-1.dsc
636c88701c3a459351c3973e88282fd5 115485 ocaml optional coq-bignums_8.15.0.orig.tar.gz
213467d57c155671bfda590fddb3fa82 1756 ocaml optional coq-bignums_8.15.0-1.debian.tar.xz
0277601c70a347671febbc833aa9ecdd 8014 ocaml optional coq-bignums_8.15.0-1_amd64.buildinfo
3306fb93b98d586673d27111b8fea431 3484 debug optional libcoq-bignums-ocaml-dbgsym_8.15.0-1_amd64.deb
3058b3e5e7918688f141ca0a9fbf8059 8852 ocaml optional libcoq-bignums-ocaml-dev_8.15.0-1_amd64.deb
f6834642f751be6391afeef55ae6298b 15160 ocaml optional libcoq-bignums-ocaml_8.15.0-1_amd64.deb
876602415c5261f4ef3589e824606ad3 1808700 ocaml optional libcoq-bignums_8.15.0-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJz3oUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRrSMP/3VDG3TBfG2RdXpRYUvSdL0WJeEotLeb
FYRPuRUDwwWHTDZkpmPt3266XpKyn8Gmlf7kbxw0zzOMB7uAMIJZOo5JcW2+XgZ0
PC3TLA30uJrUXTqwE0n9pmcpeju9PZuRN9BthGETc7OFScSYfbeWWnuCtYbjMDRd
6YCyve3eRfYxvcqEKFmIl6JTpzdzQRT/XJES8dXaWJFe46PzjFMShEDdyYvUNauz
m7xPAajNRdZH8w0SKgh07eKrlZp0GdzhWHFoiYD3PMNM3Qs9gkKFjMsE3W31cgdg
cMbPazDI4iE7dWx//QkVChu3HiP3NrRFk8qvGyuqsmKVVkcVk6UluZvMq3EQHAU1
8i1bEMqo/v6wPHVf02RsLDAw5MiU9ZL2fbcRlK/gn0T+dzpG0naiyhsaYzq6XgOb
ldR/+QJ6HnevL1GNofQqskOtY1t76LfGujq05dnoGmQDuIQnO5dGFLxWMYW8iYsQ
4FuJNC4OlWLMdnajeXaTBvcDg/Mx5Xq7pgrdqBU9c9KiAxoZjgSttiU2N+9utR7t
g7h6Isbqo29TERn3Srmwx7LIuzWWiugXkPvqAbRI/fL+K1ci2JZ1RKXF/ybzx6oL
lwo2wzJpC+7VCIar9K9X9gYXpWalA0OyMMIX6FAlOKu+B5Eri9R1nZusGtRWY6LR
G1MQv5hlXIpm
=IyqE
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: