3 commits

Author	SHA1	Message	Date
John Marino	48bb3208c4	math/ocaml-zarith: Unbreak after ocaml-findlib change ... Use the same technique madpilot used on x11-toolkits/ocaml-lablgtk2 to restore the build after the (unexpected) changed to the output of ocamlfindlib during its update to 1.7.1	2017-01-29 23:13:59 +00:00
Dmitry Marakasov	eeb39316e3	- Fix license ... - Add LICENSE_FILE - Fix build on arm	2016-10-16 09:03:43 +00:00
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