Bug#1010650: marked as done (ITP: mathcomp-real-closed -- Real closed fields for Mathematical Components)
Your message dated Mon, 16 May 2022 18:00:14 +0000
with message-id <E1nqf0w-0002YY-As@fasolo.debian.org>
and subject line Bug#1010650: fixed in mathcomp-real-closed 1.1.2-1
has caused the Debian Bug report #1010650,
regarding ITP: mathcomp-real-closed -- Real closed fields 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.)
--
1010650: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1010650
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 : mathcomp-real-closed
Version : 1.1.2
Upstream Author : Cyril Cohen and Assia Mahboubi
* URL : https://github.com/math-comp/real-closed
* License : CeCILL-B
Programming Lang: Coq
Description : Real closed fields for Mathematical Components
This library contains definitions and theorems about real closed fields
for Mathematical Components. It includes a construction of the real
and algebraic closure (with a proof of the fundamental theorem of
algebra). The decidability of the first order theory of real closed
field, through quantifier elimination is also established.
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: mathcomp-real-closed
Source-Version: 1.1.2-1
Done: Julien Puydt <jpuydt@debian.org>
We believe that the bug you reported is fixed in the latest version of
mathcomp-real-closed, 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 1010650@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-real-closed 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, 06 May 2022 16:23:27 +0200
Source: mathcomp-real-closed
Binary: libcoq-mathcomp-real-closed
Architecture: source amd64
Version: 1.1.2-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-real-closed - Real closed fields for Mathematical Components
Closes: 1010650
Changes:
mathcomp-real-closed (1.1.2-1) unstable; urgency=medium
.
* Initial release. (Closes: #1010650)
Checksums-Sha1:
506c95a78c131073b7e6a7c6fa9cd97ef51407f2 2209 mathcomp-real-closed_1.1.2-1.dsc
5dba605638b751ca4516fb7bd24c8718d23f0504 118236 mathcomp-real-closed_1.1.2.orig.tar.gz
db69b880489ece843a223b707d9c70fe8e44364f 8532 mathcomp-real-closed_1.1.2-1.debian.tar.xz
952d3bda9c64841bd9818f54c7fe7e8e4ecb3760 2291080 libcoq-mathcomp-real-closed_1.1.2-1_amd64.deb
eb52d6a5d58be2c3efc3bec3f53db985c06fb296 7238 mathcomp-real-closed_1.1.2-1_amd64.buildinfo
Checksums-Sha256:
d022df126b059b6b24a9e85d6379453b99797bcb2bf54a54a0ec71f468db912a 2209 mathcomp-real-closed_1.1.2-1.dsc
84e0ddf33dbbc249287dfc8fc7874d433c79cee2b335f32b6476a46a71376892 118236 mathcomp-real-closed_1.1.2.orig.tar.gz
9c98deb618063926e38e8baaf5c94d32539d4917c635515e99f8c83324810e4e 8532 mathcomp-real-closed_1.1.2-1.debian.tar.xz
f58314ba1c7c9f96761a6842cb902b1fc529b809d8202414e796329c0f198ec0 2291080 libcoq-mathcomp-real-closed_1.1.2-1_amd64.deb
6c89e6448f2ed47552a7e02e6b21496712bd16114b8cc646b174decb3f9e6062 7238 mathcomp-real-closed_1.1.2-1_amd64.buildinfo
Files:
1fe1a9e9b030070f3b0147231bba535a 2209 ocaml optional mathcomp-real-closed_1.1.2-1.dsc
0c743022726111acfd8d61ee1ae4156a 118236 ocaml optional mathcomp-real-closed_1.1.2.orig.tar.gz
f5f4970eda80b42015b99cf58fbdc638 8532 ocaml optional mathcomp-real-closed_1.1.2-1.debian.tar.xz
5c0ed94e06c630e39759a62556276ced 2291080 ocaml optional libcoq-mathcomp-real-closed_1.1.2-1_amd64.deb
b180e5cc27bb74a17b6b5813abac2dfb 7238 ocaml optional mathcomp-real-closed_1.1.2-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ1MAQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRY88P/inQkWfw11EjG9fYxa7HS45iLThOFMsi
veo9WVtGpeWM8g2WONFlKg/N560+MKBYc47h0NKS2aVV1X2Z1Iio+5bQVejnkcAc
ephjoAzrcXE7lchrI6TyGPnDWXp/4yskD9M5UvziqAWdFnOh5/rzhfDvzJ34oCmS
wmDmX/qRZqdf7YU5TXc8kdHvl8kLTJ0HGBPV9M8yDQg3TA5h7eViAynaHLU9T8A6
S3sdIzM0g80V3a14D0WFt9KoqWu7RGuUHASCqUsrTn6DMw/K+Uun/LuMjkuhBC6H
/XBEtYQlLWTP937kJ8TYZ74EkUkWC4Ghj1hbcRLEGuQZralXLmpr9VTIkIBuQVyM
A6+bRxDxCggPldaAXsDjrfIi1CYTEVx/pnctR84HhRJR5tLZS+K1Kv/+sNvvkdq2
Ar8twsQe5h+6DdWZPT4/91FAoP6ScfHxEqWb/38kwq/4Nym0lvT2zZgMfXMe4vyC
asPz4ee7wJnMHrscjNCzezwUJI7VGdeVEBDwaEeF6iPPJO2UwoZjuS/UA6crlkFU
L0glRRU65iokQUI6xjeZgdAkSGRkYTvvrF4CHqcswGim/ZSpBqQ571Zivxr2nOzw
DWdQkmxOBTYMhkfcmjDvan8vqItA+6ErOexIUjqcFzjkMEiEWkO2pwbKU0X0Ektm
9q572hTGJIoI
=4w7x
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: