CVSROOT:        /cvs
Module name:    ports
Changes by:  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@
    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

Reply via email to