zarith-xenversion

Implements arithmetic and logical operations over arbitrary-precision integers

The Zarith library implements arithmetic and logical operations over arbitrary-precision integers. It uses GMP to efficiently implement arithmetic over big integers. Small integers are represented as Caml unboxed integers, for speed and space economy.

AuthorXavier Leroy
Published
Homepagehttps://forge.ocamlcore.org/projects/zarith
Maintainermirageos-devel
Dependencies
Source [http] https://github.com/ocaml/Zarith/archive/release-1.6.tar.gz
sha256=0ad52b7e8d3791d401a5d64d6f85333d096b32d3ebb9f92e2496fbe64574078e
md5=6cc3023620048236d2e8d3a21d5f0940
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/zarith-xen/zarith-xen.1.6/opam
Required by