From 1798c4aeca70ac8d0a243684d6a798fbc65735f8 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sat, 14 Jul 2018 20:57:42 +0100 Subject: gentoo resync : 14.07.2018 --- dev-ml/bignum-0.9.0 | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 dev-ml/bignum-0.9.0 (limited to 'dev-ml/bignum-0.9.0') diff --git a/dev-ml/bignum-0.9.0 b/dev-ml/bignum-0.9.0 new file mode 100644 index 000000000000..fc50bc3870b7 --- /dev/null +++ b/dev-ml/bignum-0.9.0 @@ -0,0 +1,11 @@ +DEFINED_PHASES=install +DEPEND=dev-lang/ocaml:= dev-ml/core_kernel:= dev-ml/core_kernel:= dev-ml/ppx_driver:= dev-ml/ppx_jane:= dev-ml/typerep:= dev-ml/zarith:= bignum-0.9.0.tar.gz +_md5_=8c9f18b6be5bfdfc66aa8c08adbff327 -- cgit v1.2.3