Skip to content

Tags: ocaml/Zarith

Tags

release-1.14

Updates for release 1.14

release-1.13

Revert #124

`-L/path/to/gmp/lib` must be passed as is to `ocamlmklib`, not behind a `-ldopt` flag, otherwise it is ignored in static linking situations.

release-1.12

Preparation for release 1.12

release-1.11

typos

release-1.10

typos

release-1.9.1

typo

release-1.9

Prepare for a 1.9 release!

release-1.8

Update for a 1.8 release

release-1.7

Update for release 1.7

release-1.6

Update for release 1.6