package flint

  1. Overview
  2. Docs
Stub of the C library Flint2

Install

Dune Dependency

github.com Readme Changelog LGPL-2.1 License Edit opam file Versions (5)

Authors

  1. F
    François Bobot

Maintainers

  1. F
    François Bobot

Sources

flint-0.1.5.tbz
sha256=e2abf5828d9dee6a1118265430bb8bda3879d0e68b387e520bf74379058e3360
sha512=3247ca029f5fe27bbc616f419198a669a5b1d4aa3b860338050e0f7a701bb58c7fdae9d761b6fd7f7d317b7fe7fd071f6bbfeffe5aaccb7f438658f045f59d76

Description

Published: 13 Jun 2022

README

OCaml stubs for Flint2, Arb, Antic, Calcium

Stubs for the libraries:

Currently only a few functions are binded. Mainly to be able to use the calcium library.

Dependencies (5)

  1. ocaml >= "4.10"
  2. conf-mpfr >= "3"
  3. ctypes >= "0.20.1"
  4. zarith >= "1.12"
  5. dune >= "3.2" & < "3.11"

Dev Dependencies (2)

  1. odoc with-doc
  2. dune-site with-test

Used by (3)

  1. antic < "0.2.3"
  2. arb < "0.2.3"
  3. calcium < "0.2.3"