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/uuidm-0.9.6 | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 dev-ml/uuidm-0.9.6 (limited to 'dev-ml/uuidm-0.9.6') diff --git a/dev-ml/uuidm-0.9.6 b/dev-ml/uuidm-0.9.6 new file mode 100644 index 000000000000..1975a39f8ab9 --- /dev/null +++ b/dev-ml/uuidm-0.9.6 @@ -0,0 +1,12 @@ +DEFINED_PHASES=compile install +DEPEND=dev-ml/cmdliner:= >=dev-ml/findlib-1.0.4-r1 >=dev-lang/ocaml-4:= dev-ml/opam +DESCRIPTION=OCaml module implementing 128 bits universally unique identifiers +EAPI=5 +HOMEPAGE=http://erratique.ch/software/uuidm +KEYWORDS=~amd64 +LICENSE=ISC +RDEPEND=dev-ml/cmdliner:= >=dev-lang/ocaml-4:= +SLOT=0/0.9.6 +SRC_URI=http://erratique.ch/software/uuidm/releases/uuidm-0.9.6.tbz +_eclasses_=findlib 45d6030075064a68da8d7143726a1150 opam 24b4a2529c1fd12f1304856d6c5a690d +_md5_=62ef72e9291251a968fd334e50701e3a -- cgit v1.2.3