zarith-freestandingversion

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
Issue Trackermirageos-devel@lists.xenproject.org
Maintainermirageos-devel
Dependencies
Source [http] https://github.com/ocaml/Zarith/archive/release-1.11.tar.gz
md5=95e8cb358b70f156328c552f1bde8d81
sha512=7c0645d63511d42b763cd0a33b3fb139c26d23ae0cf59cd651388644cb8e7c43a83265d55d69ff3320d8c4586c4f8dbd9c3412197bab2e110c38e6e7dac88b83
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/zarith-freestanding/zarith-freestanding.1.11/opam
Required by