* 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

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)
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-----