[ 14:12 Alexey Dokuchaev (danfe)  ]

• 3d0558066c272d47a90914f45962e02d62117848 math/ocaml-zarith/Makefile
• 3d0558066c272d47a90914f45962e02d62117848 math/ocaml-zarith/distinfo
• 3d0558066c272d47a90914f45962e02d62117848 math/ocaml-zarith/files/patch-configure
• 3d0558066c272d47a90914f45962e02d62117848 math/ocaml-zarith/pkg-plist

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

[ 23:13 marino  ]

• 432805 math/ocaml-zarith/Makefile
• 432805 math/ocaml-zarith/files/patch-configure

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

[ 09:03 amdmi3  ]

• 424051 math/ocaml-zarith/Makefile
• 424051 math/ocaml-zarith/files/patch-configure

- Fix license
- Add LICENSE_FILE
- Fix build on arm

[ 21:28 marino  ]

• 356255 math/Makefile
• 356255 math/ocaml-zarith
• 356255 math/ocaml-zarith/Makefile
• 356255 math/ocaml-zarith/distinfo
• 356255 math/ocaml-zarith/files
• 356255 math/ocaml-zarith/files/patch-configure
• 356255 math/ocaml-zarith/pkg-descr
• 356255 math/ocaml-zarith/pkg-plist

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