summaryrefslogtreecommitdiff
path: root/dev-ml/pipebang
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/pipebang
parent30a9caf154332f12ca60756e1b75d2f0e3e1822d (diff)
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-ml/pipebang')
-rw-r--r--dev-ml/pipebang/Manifest3
-rw-r--r--dev-ml/pipebang/metadata.xml11
-rw-r--r--dev-ml/pipebang/pipebang-113.00.00.ebuild19
3 files changed, 33 insertions, 0 deletions
diff --git a/dev-ml/pipebang/Manifest b/dev-ml/pipebang/Manifest
new file mode 100644
index 000000000000..58be5e0d014f
--- /dev/null
+++ b/dev-ml/pipebang/Manifest
@@ -0,0 +1,3 @@
+DIST pipebang-113.00.00.tar.gz 48786 BLAKE2B 4ec19aad4699dcf5b2b83dc8f7aa806cd5ae69a28f4ae4dc39c32ba9c853abd1ce18c546c6617bcde075b33151ae125c1c4590415b3a23f63a716a0c99f2e8ca SHA512 b0398086e76eed787e8c727440caf94b17e1b667e6ce6d2be8f1ef896b0987c9fde9e3a3fd82c3df4a215c1656210210284defc526fb296bedb2ad3d1526897e
+EBUILD pipebang-113.00.00.ebuild 469 BLAKE2B a0dcf45b1d0d0cecc10db08bc0ce111a0cda65c5ffa3f4d1d8ddb377842807b23f59d906143ba3d7f3a79ad85eaf757f9e1b2c3ebf92e2663187d55710eedbb6 SHA512 dc4ec36bb37a0eff1a26af68be125efaef30a754b64f161983580096e1a1946ca7c07ded010726a4f0d3f9b2d070e3de69462cd7ac732859b55102b6ca3c3285
+MISC metadata.xml 343 BLAKE2B 8cac0f69e424894eab505005a0c9d8b5fe7efda96fd12e93c1137dbe8774ff61e5e68db4f1af435a331b93122dc1b85688111af07ae65f347ece9119fb8575a5 SHA512 38f2d8c464957254593e928423d0ff2ed84b033bc4933b7b2baa8a4623c995f6768554567cbaf704f96bc8fafa27467c1948cbc2a6a7b4403dfb58b0e4f3ab65
diff --git a/dev-ml/pipebang/metadata.xml b/dev-ml/pipebang/metadata.xml
new file mode 100644
index 000000000000..91d86fdbaf9e
--- /dev/null
+++ b/dev-ml/pipebang/metadata.xml
@@ -0,0 +1,11 @@
+<?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>
+ </upstream>
+</pkgmetadata>
diff --git a/dev-ml/pipebang/pipebang-113.00.00.ebuild b/dev-ml/pipebang/pipebang-113.00.00.ebuild
new file mode 100644
index 000000000000..7762bd649a0a
--- /dev/null
+++ b/dev-ml/pipebang/pipebang-113.00.00.ebuild
@@ -0,0 +1,19 @@
+# Copyright 1999-2014 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="5"
+
+inherit oasis
+
+DESCRIPTION="Syntax extension to transform x |! f into f x"
+HOMEPAGE="https://bitbucket.org/yminsky/ocaml-core/wiki/Home"
+SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${P}.tar.gz"
+
+LICENSE="Apache-2.0"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+DEPEND=">=dev-ml/type-conv-109.60:=
+ dev-ml/camlp4:="
+RDEPEND="${DEPEND}"