Skip to content

Releases: bobot/ocaml-flint

0.4.0

09 Jul 15:00
Compare
Choose a tag to compare

CHANGES:

  • As in the C library regroup all package into flint
  • Bump to flint version 3.0.0

0.3.3

23 Oct 11:18
Compare
Choose a tag to compare

CHANGES:

  • Fix library name for archlinux: arb instead of flint-arb

0.3.2

13 Oct 08:02
Compare
Choose a tag to compare

CHANGES:

  • Bump to dune 3.7 using ctypes stanza 0.3

0.3.1

22 Sep 13:11
Compare
Choose a tag to compare

CHANGES:

  • Use installed C libraries instead of compiling them internally

0.3

15 May 11:55
Compare
Choose a tag to compare
0.3

CHANGES:

  • For computing algebraic root of polynomial:
  • Add small binding to qqbar from calcium
  • Add small binding to fmpz_poly

0.2.3

29 Mar 21:21
Compare
Choose a tag to compare

CHANGES:

  • revert flint version to 2.9.0

0.2.2

29 Mar 14:53
Compare
Choose a tag to compare

CHANGES:

  • Fix really stub compilation on macosx (@msri)

0.2.1

06 Mar 10:30
Compare
Choose a tag to compare

CHANGES:

  • Fix stub compilation on macosx

0.2

15 Feb 16:40
Compare
Choose a tag to compare
0.2

CHANGES:

  • Bump flint to 2.9
    • should fix alpine
  • Bump antic to 0.2.5
  • Bump arb to 2.23.0
  • calcium already at 0.4.1
  • macosx: move .dylib to .so

0.1.6

11 Feb 21:58
Compare
Choose a tag to compare

CHANGES:

  • use pkg-config for finding gmp and mpfr