package flint

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

Install

Dune Dependency

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

Authors

  1. F
    François Bobot

Maintainers

  1. F
    François Bobot

Sources

flint-0.3.2.tbz
sha256=1a8a1278631602a7d17d0fe665f6e6194520c894caf26162a0eff85a545d466c
sha512=b179c3c953b47e7495201631c38d906332306d51d8b2243083ddbb2ec971d735cc842b77385655c22a1e724bb3fe635ec541c3a31ed7da2c3d6559d440a2fd21

Description

Published: 13 Oct 2023

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

  1. dune-configurator
  2. conf-pkg-config >= "2"
  3. ocaml >= "4.10"
  4. conf-mpfr >= "3"
  5. ctypes >= "0.20.1"
  6. zarith >= "1.12"
  7. conf-flint
  8. dune >= "3.7"

Dev Dependencies (2)

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

Used by (3)

  1. antic >= "0.3.2"
  2. arb >= "0.3.2"
  3. calcium >= "0.3.2"