summaryrefslogtreecommitdiff
path: root/dev-ml/typerep
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/typerep
parent30a9caf154332f12ca60756e1b75d2f0e3e1822d (diff)
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-ml/typerep')
-rw-r--r--dev-ml/typerep/Manifest3
-rw-r--r--dev-ml/typerep/metadata.xml11
-rw-r--r--dev-ml/typerep/typerep-0.9.0.ebuild19
3 files changed, 33 insertions, 0 deletions
diff --git a/dev-ml/typerep/Manifest b/dev-ml/typerep/Manifest
new file mode 100644
index 000000000000..6d71f08c03a5
--- /dev/null
+++ b/dev-ml/typerep/Manifest
@@ -0,0 +1,3 @@
+DIST typerep-0.9.0.tar.gz 24934 BLAKE2B 83e0cd9419c11a1b8dbce6730404dbe4b00597e441943d8315ad5a583ff50376c95413695e327996b07557b1b481df8ab15db5b37c3ac4c8396b7ed51aa822ea SHA512 f71fa3968ff5e93c384a97e2d39af0de33f4889643a7e43d70a777214dc4c7f35b3fac0864ffee99334cf03866a695f7afd1a907d5c7f3cec0d472b729adf9cc
+EBUILD typerep-0.9.0.ebuild 477 BLAKE2B b49346885d12aae201b75ebe9060b02778c61e52779c452fb378011284a349f8bbf53f34b75f081ebc302894f2d91fb9b9ac1d1acb663a8c7ffdfde87fb9ca52 SHA512 5e7bf0fe698123824f02cd7e5bf0e733bdc1e2dabad4c448644ee91ecc62951e03ee5585308038a7050275da05929455d77227470c76d2df294267867e58ecc2
+MISC metadata.xml 330 BLAKE2B 81a6b6161b43773bd04b41a2e1a12e0671e8fddf48fce2ef1d9c7942ce70d9f7580a972c9141a3c105f10b45c9e2a52773d46c43124b5aae43e86c1673e0c455 SHA512 6f366b28abefeb0dcca245c49ff91d3846c3880f7bfe8a45c53409933f5884007b5f37ec03e51f47145f99a5c5d55121e9ee11b68ccdbcfd8a572c8ed8e3907e
diff --git a/dev-ml/typerep/metadata.xml b/dev-ml/typerep/metadata.xml
new file mode 100644
index 000000000000..8127fe6a1314
--- /dev/null
+++ b/dev-ml/typerep/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="github">janestreet/typerep</remote-id>
+ </upstream>
+</pkgmetadata>
diff --git a/dev-ml/typerep/typerep-0.9.0.ebuild b/dev-ml/typerep/typerep-0.9.0.ebuild
new file mode 100644
index 000000000000..2940a4604344
--- /dev/null
+++ b/dev-ml/typerep/typerep-0.9.0.ebuild
@@ -0,0 +1,19 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+inherit opam
+
+DESCRIPTION="Library for creating runtime representation of OCaml types"
+HOMEPAGE="https://github.com/janestreet/typerep"
+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=""
+
+DEPEND="dev-ml/base:="
+RDEPEND="${DEPEND}"
+DEPEND="${DEPEND} dev-ml/jbuilder"