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.7.tar.gz
sha256=d641bb66d04461111b75f2fc37ad1eec764dcf326d98a51ac078695baea2ab3a
md5=80944e2755ebb848451a77dc2ad0651b
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/zarith-xen/zarith-xen.1.7/opam
Required by