freebsd-ports/math/ocaml-zarith/distinfo

SHA256 (zarith-1.2.1.tgz) = 916801cc39599d3fca07384fbfeec4bfaa5ffcb497d68ef89320af40ba5e4144
SIZE (zarith-1.2.1.tgz) = 68654
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 23:28:39 +02:00			`SHA256 (zarith-1.2.1.tgz) = 916801cc39599d3fca07384fbfeec4bfaa5ffcb497d68ef89320af40ba5e4144`
			`SIZE (zarith-1.2.1.tgz) = 68654`