CVSROOT: /cvs
Module name: ports
Changes by: [email protected] 2018/07/11 09:09:00
Log message:
Import math/ocaml-zarith, an arbitrary precision arithmetics library
using GMP as backend. This is needed by frama-c because num was removed
from the OCaml compiler distribution.
Marked as BROKEN till the next OCaml upgrade.
OK jca@
Status:
Vendor Tag: chrisz
Release Tags: chrisz_20180711
N ports/math/ocaml-zarith/Makefile
N ports/math/ocaml-zarith/distinfo
N ports/math/ocaml-zarith/pkg/DESCR
N ports/math/ocaml-zarith/pkg/PLIST
N ports/math/ocaml-zarith/pkg/PFRAG.native
N ports/math/ocaml-zarith/pkg/PFRAG.dynlink-native
N ports/math/ocaml-zarith/patches/patch-configure
N ports/math/ocaml-zarith/patches/patch-project_mak
No conflicts created by this import
