summaryrefslogtreecommitdiff
path: root/dev-ml/parsexp
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2020-11-25 22:39:15 +0000
committerV3n3RiX <venerix@redcorelinux.org>2020-11-25 22:39:15 +0000
commitd934827bf44b7cfcf6711964418148fa60877668 (patch)
tree0625f358789b5e015e49db139cc1dbc9be00428f /dev-ml/parsexp
parent2e34d110f164bf74d55fced27fe0000201b3eec5 (diff)
gentoo resync : 25.11.2020
Diffstat (limited to 'dev-ml/parsexp')
-rw-r--r--dev-ml/parsexp/Manifest3
-rw-r--r--dev-ml/parsexp/metadata.xml11
-rw-r--r--dev-ml/parsexp/parsexp-0.14.0.ebuild21
3 files changed, 35 insertions, 0 deletions
diff --git a/dev-ml/parsexp/Manifest b/dev-ml/parsexp/Manifest
new file mode 100644
index 000000000000..cbd6c73fc855
--- /dev/null
+++ b/dev-ml/parsexp/Manifest
@@ -0,0 +1,3 @@
+DIST parsexp-0.14.0.tar.gz 48617 BLAKE2B eba36c17f08b59ed7601c4f9906e80de45e377d0134fdee30b5536c3d91af0cb45a1cdab90333498da8bf3fcf5e5bea16a8f734e7f1a92c9b865cd3136a668c2 SHA512 d9e9ea936dcf23d700e6ddd4153a2a96df6819094eaebe15d949c4569fa5125ab308af2c10f4ba2161610d8673eeb3928dd19c10a21974c140e4c89537a86575
+EBUILD parsexp-0.14.0.ebuild 473 BLAKE2B 7fbbfa56c682b319af295caa6fb9251a8fd6ee7410ec02600d7e4f9abb2bc793e740dade3cf4947afec32ee7c027e5dc9266b7b2a8c3e15b8193e4e0e4fcff94 SHA512 855fcdc7ba28f0c8f57f76f49b83ef70183e05f16450d110ff86dcd5f03a223508a09dcd1d7ca6648f041f64e6275b4b804e9a874590933138d6e5b474246b7f
+MISC metadata.xml 327 BLAKE2B eb1bef386734e20b2bf5ced714d66bfdb38bd87264def3be40810290dd5f86be06c26e52798fb126d60aebf963549b861b728856aa008ef9e39a7ea8cfcdd725 SHA512 2c810d31bf8d5c848b17b1708e5efb65fed70f6590b2681b6e5aaa9b0d175f467dd69ccc4f978324a82cb21fae027a0d0376c46fcc2c8ddafe64a20cd6efa726
diff --git a/dev-ml/parsexp/metadata.xml b/dev-ml/parsexp/metadata.xml
new file mode 100644
index 000000000000..45889fd58f9d
--- /dev/null
+++ b/dev-ml/parsexp/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="person">
+ <email>gienah@gentoo.org</email>
+ <name>Mark Wright</name>
+ </maintainer>
+ <upstream>
+ <remote-id type="github">janestreet/parsexp</remote-id>
+ </upstream>
+</pkgmetadata>
diff --git a/dev-ml/parsexp/parsexp-0.14.0.ebuild b/dev-ml/parsexp/parsexp-0.14.0.ebuild
new file mode 100644
index 000000000000..578f4c168d7b
--- /dev/null
+++ b/dev-ml/parsexp/parsexp-0.14.0.ebuild
@@ -0,0 +1,21 @@
+# Copyright 1999-2020 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+DESCRIPTION="S-expression parsing library "
+HOMEPAGE="https://github.com/janestreet/parsexp"
+SRC_URI="https://github.com/janestreet/parsexp/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="Apache-2.0"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
+IUSE="+ocamlopt"
+
+RDEPEND="
+ dev-ml/sexplib0:=
+ dev-ml/base:=
+"
+DEPEND="${RDEPEND}"