summaryrefslogtreecommitdiff
path: root/dev-ml/variantslib
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2018-07-14 21:03:06 +0100
committerV3n3RiX <venerix@redcorelinux.org>2018-07-14 21:03:06 +0100
commit8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 (patch)
tree7681bbd4e8b05407772df40a4bf04cbbc8afc3fa /dev-ml/variantslib
parent30a9caf154332f12ca60756e1b75d2f0e3e1822d (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, 37 insertions, 0 deletions
diff --git a/dev-ml/variantslib/Manifest b/dev-ml/variantslib/Manifest
new file mode 100644
index 000000000000..0b66690a38e3
--- /dev/null
+++ b/dev-ml/variantslib/Manifest
@@ -0,0 +1,3 @@
+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
new file mode 100644
index 000000000000..8077a6de981c
--- /dev/null
+++ b/dev-ml/variantslib/metadata.xml
@@ -0,0 +1,12 @@
+<?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
new file mode 100644
index 000000000000..a50b4f2ef0e0
--- /dev/null
+++ b/dev-ml/variantslib/variantslib-0.9.0.ebuild
@@ -0,0 +1,22 @@
+# 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"