From ccff423ef54def16a5e6000c513cbef7f7f38aea Mon Sep 17 00:00:00 2001 From: markd Date: Sun, 7 Feb 2016 21:43:03 +0000 Subject: Add ocaml-zarith 1.4.1 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. --- math/ocaml-zarith/PLIST | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 math/ocaml-zarith/PLIST (limited to 'math/ocaml-zarith/PLIST') diff --git a/math/ocaml-zarith/PLIST b/math/ocaml-zarith/PLIST new file mode 100644 index 00000000000..acb817ec372 --- /dev/null +++ b/math/ocaml-zarith/PLIST @@ -0,0 +1,15 @@ +@comment $NetBSD: PLIST,v 1.1 2016/02/07 21:43:03 markd Exp $ +lib/ocaml/site-lib/zarith/big_int_Z.cmi +lib/ocaml/site-lib/zarith/big_int_Z.mli +lib/ocaml/site-lib/zarith/dllzarith.so +lib/ocaml/site-lib/zarith/libzarith.a +lib/ocaml/site-lib/zarith/META +lib/ocaml/site-lib/zarith/q.cmi +lib/ocaml/site-lib/zarith/q.mli +lib/ocaml/site-lib/zarith/zarith.a +lib/ocaml/site-lib/zarith/zarith.cma +lib/ocaml/site-lib/zarith/zarith.cmxa +lib/ocaml/site-lib/zarith/zarith.cmxs +lib/ocaml/site-lib/zarith/zarith.h +lib/ocaml/site-lib/zarith/z.cmi +lib/ocaml/site-lib/zarith/z.mli -- cgit v1.2.3