diff options
Diffstat (limited to 'dev-ml/uuidm-0.9.6')
-rw-r--r-- | dev-ml/uuidm-0.9.6 | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/dev-ml/uuidm-0.9.6 b/dev-ml/uuidm-0.9.6 deleted file mode 100644 index 1975a39f8ab9..000000000000 --- a/dev-ml/uuidm-0.9.6 +++ /dev/null @@ -1,12 +0,0 @@ -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 |