Package: libcoq-flocq
Source: flocq
Version: 4.2.1-1build6
Architecture: amd64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 9189
Depends: libcoq-stdlib-yod19
Provides: libcoq-flocq-k4342
Section: ocaml
Priority: optional
Homepage: https://flocq.gitlabpages.inria.fr/
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.
