John Marino 9024af45d6 Add new Ocaml port: math/ocaml-zarith ... This is a new requirement for the latest veersion of alt-ergo. ================================================================ The Zarith library implements arithmetic and logical operations over arbitrary precision numbers. It uses GMP to efficiently implement arithmetic over large numbers. Small integers are represented as Caml unboxed integers for speed and space economy. WWW: http://forge.ocamlcore.org/projects/zarith		2014-06-02 21:28:39 +00:00
..
files
distinfo
Makefile
pkg-descr
pkg-plist