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/fieldslib-0.9.0 | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100644 dev-ml/fieldslib-0.9.0 (limited to 'dev-ml/fieldslib-0.9.0') diff --git a/dev-ml/fieldslib-0.9.0 b/dev-ml/fieldslib-0.9.0 deleted file mode 100644 index dc46753ca4d5..000000000000 --- a/dev-ml/fieldslib-0.9.0 +++ /dev/null @@ -1,11 +0,0 @@ -DEFINED_PHASES=install -DEPEND=dev-lang/ocaml:= dev-ml/base:= dev-ml/ppx_driver:= dev-ml/ocaml-migrate-parsetree:= dev-ml/opam dev-ml/jbuilder -DESCRIPTION=Folding over record fields -EAPI=6 -HOMEPAGE=https://github.com/janestreet/fieldslib -KEYWORDS=~amd64 -LICENSE=Apache-2.0 -RDEPEND=dev-lang/ocaml:= dev-ml/base:= dev-ml/ppx_driver:= dev-ml/ocaml-migrate-parsetree:= -SLOT=0/0.9.0 -SRC_URI=https://github.com/janestreet/fieldslib/archive/v0.9.0.tar.gz -> fieldslib-0.9.0.tar.gz -_md5_=7fc12f245029bde75fedbae3f1d28111 -- cgit v1.2.3