Bug#1014048: marked as done (ITP: flocq -- Floating-point arithmetic for Coq)
Your message dated Wed, 29 Jun 2022 18:10:13 +0000
with message-id <E1o6c8j-000BC1-47@fasolo.debian.org>
and subject line Bug#1014048: fixed in flocq 4.1.0-1
has caused the Debian Bug report #1014048,
regarding ITP: flocq -- Floating-point arithmetic 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.)
--
1014048: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1014048
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 : flocq
Version : 4.1.0
Upstream Author : Sylvie Boldo, Guillaume Melquiond
* URL : https://flocq.gitlabpages.inria.fr/
* License : LGPL-3
Programming Lang: Coq
Description : Floating-point arithmetic for Coq
Flocq provides a formalization of floating-point arithmetic
for Coq, in the form of a comprehensive library of
theorems on a multi-radix multi-precision arithmetic,
with efficient numerical computations.
.
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: flocq
Source-Version: 4.1.0-1
Done: Julien Puydt <jpuydt@debian.org>
We believe that the bug you reported is fixed in the latest version of
flocq, 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 1014048@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 flocq 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, 29 Jun 2022 14:17:52 +0200
Source: flocq
Binary: libcoq-flocq
Architecture: source amd64
Version: 4.1.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-flocq - Floating-point arithmetic for Coq
Closes: 1014048
Changes:
flocq (4.1.0-1) unstable; urgency=medium
.
* Initial release. (Closes: #1014048)
Checksums-Sha1:
3fa2a9574a68df478a05de7420c9000439189a3e 2016 flocq_4.1.0-1.dsc
21449f2922ef3ecb6e53bbfab0de3ec24bab42c3 333149 flocq_4.1.0.orig.tar.bz2
949dfe30d3c13e957ba70b3cd9e6f9fe16ff699e 1484 flocq_4.1.0-1.debian.tar.xz
5f1d9599037aed77ad767c6d1c3678404b6d4046 7093 flocq_4.1.0-1_amd64.buildinfo
5f253996ef56e78cf457597a5bf2c0a8bb02c05e 3270468 libcoq-flocq_4.1.0-1_amd64.deb
Checksums-Sha256:
65ae485a2d0bc6e59af7768d5448a75b20bb283dcf643d6216818280c0b1d017 2016 flocq_4.1.0-1.dsc
0a73d9ad143c4022e818a6df20a4cf5a4c173e24c36585f4f2ddd24af4964fba 333149 flocq_4.1.0.orig.tar.bz2
78df3f8397c392865b23be3343e7ecc49ad19fe6507fb1a7025950375fb6aa0f 1484 flocq_4.1.0-1.debian.tar.xz
341fc9e6d1fcd48d33bb15423b3e108361d9fdbffc1d69fa75d077afbb53d7f1 7093 flocq_4.1.0-1_amd64.buildinfo
f099aade5f3c86290f06045c032ca6044136ffce16c445190235a0d3c0f3bf7c 3270468 libcoq-flocq_4.1.0-1_amd64.deb
Files:
3b46a121c51d073dcc7bcd24b7402210 2016 ocaml optional flocq_4.1.0-1.dsc
e7148b368a70f81feb3726f72c600b15 333149 ocaml optional flocq_4.1.0.orig.tar.bz2
566bc925f6d6e8738ed6454ba3a8272d 1484 ocaml optional flocq_4.1.0-1.debian.tar.xz
23dcc2d9a96bc3b3018420389131141b 7093 ocaml optional flocq_4.1.0-1_amd64.buildinfo
b8c3e09f4a2e6de82775d9c9d8ac3e6e 3270468 ocaml optional libcoq-flocq_4.1.0-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmK8RHESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR930QAJKUM31Ia/rFJuaHh6cXAGFKH135Eq8t
jGkFsGYyL8Ie2+C4qyyZh7ftWLFKFy+u0st7SB5X7vWVSe/a41CUxEeI+McXrwhZ
qB0nJr5XpvcRayVQZbpGAE9iinG2mtkFXwq4oVvCJFZDWUn/4uIWDCZeWj5U6LsB
FDmG7jqoPlUM8lrQOy8Mpp6Vla6Ad5GaiF9QG7mauO3yO/KfYf27GbH8K/hmU5wH
5o3oHHfQj1bsIAgj3TLrIiWLxaNKETLk9oAMLV5sGKlh/bcI4e+YzCy3wz4PMctk
rmcP7eYYFImtk07fosKQIYYYWOfFXaWDTzRhUVNL7JLuwmxVEo4kh0fMC7UJvPq7
6y4zd48zXiGvDs526WAvqs+by1PQ+acFJn9+n5tqPAgc/reH7JT4MGiguEz3m4pn
AeVh1i77h3ZNHVpL7hejcPW6qxJRaZWUUF1rxEO/ufkT9Ja2DH1Lbdb2HR+dTfms
7pdU4JB6e4SVoO8epQ8PUkhFjttWWr4jfphi76bXIghu/jvRVO/sU3fYYy0aouhV
rT3CvPLIsSSldxgqWk+pKhBRNADe0yk/P6H9i8eYOKUFiybOxwIxBDmeYpvuH5ZG
3jdMhp/fXye6vzR/xJoewyHTUUkloAmpHH/oPW8TvLhPib+jCyGWOj/d69+W8S6j
7EiwtrR+Hwvf
=d2jy
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: