flint

Stub of the C library Flint2
Description
Install
Documentation github.com LGPL-2.1 License Edit opam file
Published
13 Jun 2022
Authors
Maintainers
Sources
flint-0.1.5.tbz
sha256=e2abf5828d9dee6a1118265430bb8bda3879d0e68b387e520bf74379058e3360 sha512=3247ca029f5fe27bbc616f419198a669a5b1d4aa3b860338050e0f7a701bb58c7fdae9d761b6fd7f7d317b7fe7fd071f6bbfeffe5aaccb7f438658f045f59d76
Dependencies
odoc with-doc
ocaml >= "4.10"
dune-site with-test
conf-mpfr >= "3"
ctypes >= "0.20.1"
zarith >= "1.12"
dune >= "3.2"
Reverse Dependencies
antic
arb
calcium