summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRepository mirror & CI <repomirrorci@gentoo.org>2018-07-17 15:43:43 +0000
committerRepository mirror & CI <repomirrorci@gentoo.org>2018-07-17 15:43:43 +0000
commit9031cdca658dd8cb033fb1ae3c8f1856e874520c (patch)
tree8d02e0e6923fe95285c45c1a5ba04d071c2db180 /metadata/md5-cache/dev-ml/ppx_tools_versioned-5.0.1
parentMerge updates from master (diff)
downloadgentoo-9031cdca658dd8cb033fb1ae3c8f1856e874520c.tar.gz
gentoo-9031cdca658dd8cb033fb1ae3c8f1856e874520c.tar.bz2
gentoo-9031cdca658dd8cb033fb1ae3c8f1856e874520c.zip
2018-07-17 15:43:42 UTC
Diffstat (limited to 'metadata/md5-cache/dev-ml/ppx_tools_versioned-5.0.1')
-rw-r--r--metadata/md5-cache/dev-ml/ppx_tools_versioned-5.0.112
1 files changed, 0 insertions, 12 deletions
diff --git a/metadata/md5-cache/dev-ml/ppx_tools_versioned-5.0.1 b/metadata/md5-cache/dev-ml/ppx_tools_versioned-5.0.1
deleted file mode 100644
index 2966e333d90f..000000000000
--- a/metadata/md5-cache/dev-ml/ppx_tools_versioned-5.0.1
+++ /dev/null
@@ -1,12 +0,0 @@
-DEFINED_PHASES=install
-DEPEND=dev-lang/ocaml:= dev-ml/ocaml-migrate-parsetree:= >=dev-ml/findlib-1.0.4-r1
-DESCRIPTION=Tools for authors of ppx rewriters
-EAPI=6
-HOMEPAGE=https://github.com/let-def/ppx_tools_versioned
-KEYWORDS=~amd64 ~arm ~arm64 ~ppc ~x86
-LICENSE=MIT
-RDEPEND=dev-lang/ocaml:= dev-ml/ocaml-migrate-parsetree:=
-SLOT=0/5.0.1
-SRC_URI=https://github.com/let-def/ppx_tools_versioned/archive/5.0.1.tar.gz -> ppx_tools_versioned-5.0.1.tar.gz
-_eclasses_=findlib 45d6030075064a68da8d7143726a1150
-_md5_=7218f7b16c3a7e057efef3f7066a165b