08:26 Alexey Dokuchaev (danfe) 

math/ocaml-zarith: update ZArith to version 1.13

Reported by:	portscout

    0b790fc

14:12 Alexey Dokuchaev (danfe) 

math/ocaml-zarith: update the version 1.12, take maintainership.

    3d05580

15:47 danfe 

- Update to version 1.4.1
- Employ USES+=localbase:ldflags
- Remove excessive whitespace

 

21:28 marino 

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