From 8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sat, 14 Jul 2018 21:03:06 +0100 Subject: gentoo resync : 14.07.2018 --- dev-ml/base-0.9.2 | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100644 dev-ml/base-0.9.2 (limited to 'dev-ml/base-0.9.2') diff --git a/dev-ml/base-0.9.2 b/dev-ml/base-0.9.2 deleted file mode 100644 index 64335585f85d..000000000000 --- a/dev-ml/base-0.9.2 +++ /dev/null @@ -1,11 +0,0 @@ -DEFINED_PHASES=install test -DEPEND=dev-lang/ocaml:= dev-ml/sexplib:= base-0.9.2.tar.gz -_md5_=10997d98e72b417a7673a57635456216 -- cgit v1.2.3