summaryrefslogtreecommitdiff
path: root/dev-ml/variantslib
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2018-07-14 20:57:42 +0100
committerV3n3RiX <venerix@redcorelinux.org>2018-07-14 20:57:42 +0100
commit1798c4aeca70ac8d0a243684d6a798fbc65735f8 (patch)
treee48e19cb6fa03de18e1c63e1a93371b7ebc4eb56 /dev-ml/variantslib
parentd87262dd706fec50cd150aab3e93883b6337466d (diff)
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-ml/variantslib')
-rw-r--r--dev-ml/variantslib/Manifest3
-rw-r--r--dev-ml/variantslib/metadata.xml12
-rw-r--r--dev-ml/variantslib/variantslib-0.9.0.ebuild22
3 files changed, 0 insertions, 37 deletions
diff --git a/dev-ml/variantslib/Manifest b/dev-ml/variantslib/Manifest
deleted file mode 100644
index 0b66690a38e3..000000000000
--- a/dev-ml/variantslib/Manifest
+++ /dev/null
@@ -1,3 +0,0 @@
-DIST variantslib-0.9.0.tar.gz 5590 BLAKE2B 8b6b4c1e1d21e7f6c9bdc1813ea811dc4680506a2a8b2f8c869d8ba2583f07e99d717c0f6a984f6ca3c2e809c9eb2e7c497dcde1f0085e054de383b032f3e94e SHA512 2fd28063d307396da866be70480ba7f953d90ec32a55d31dad649eadb6141572e428f055cad02787654477c4a308313ecb7be4b9b80828af9d9870ad325b9f4d
-EBUILD variantslib-0.9.0.ebuild 499 BLAKE2B f2373d07ff68c513932e1bf2796376539310d2cdd667cd96ec72ecf1f6b569f47fc44569638345dec3de774942e1de0c49bdc931f96aada95e72f5bd43ad8841 SHA512 528e313d67489af325215a9a49d4bf134ad434d97e527102e4adefb2a2ecadfaf7483a54e6ffdf608b9afd68e2297285bd10bc67aa5865157e0d6300a21d144d
-MISC metadata.xml 407 BLAKE2B b64f37a2aee6e7784113f6b2c5c0a0f1a7946811bf74893b26a32ba45a4016964b43c5e6525853c16b5ab535a779752c8144fcd5a974a390a2b24202485376a3 SHA512 fbeb65d913c63c622cfc69b29c4c679571f523ebd00dd1f46e3ae36c39b9b385440a9cc972a640b65fa6689eab4ca47fd928eb67b0d95bd95bd0d072efd057d0
diff --git a/dev-ml/variantslib/metadata.xml b/dev-ml/variantslib/metadata.xml
deleted file mode 100644
index 8077a6de981c..000000000000
--- a/dev-ml/variantslib/metadata.xml
+++ /dev/null
@@ -1,12 +0,0 @@
-<?xml version='1.0' encoding='UTF-8'?>
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
-<pkgmetadata>
- <maintainer type="project">
- <email>ml@gentoo.org</email>
- <name>Gentoo ML Project</name>
- </maintainer>
- <upstream>
- <remote-id type="bitbucket">yminsky/ocaml-core</remote-id>
- <remote-id type="github">janestreet/variantslib</remote-id>
- </upstream>
-</pkgmetadata>
diff --git a/dev-ml/variantslib/variantslib-0.9.0.ebuild b/dev-ml/variantslib/variantslib-0.9.0.ebuild
deleted file mode 100644
index a50b4f2ef0e0..000000000000
--- a/dev-ml/variantslib/variantslib-0.9.0.ebuild
+++ /dev/null
@@ -1,22 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-inherit opam
-
-DESCRIPTION="OCaml variants as first class values"
-HOMEPAGE="https://github.com/janestreet/variantslib"
-SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="Apache-2.0"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-RDEPEND="
- dev-ml/base:=
- dev-ml/ppx_driver:=
- dev-ml/ocaml-migrate-parsetree:=
-"
-DEPEND="${RDEPEND} dev-ml/jbuilder"