summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorMark Wright <gienah@gentoo.org>2020-10-13 17:56:22 +1100
committerMark Wright <gienah@gentoo.org>2020-10-13 23:53:44 +1100
commitd67532a7a689d07e57b49291bd7fae010635801e (patch)
tree3c47d8eafd3993e59c9d099fdb055146667fa74a /dev-ml
parentdev-ml/react: EAPI=7, add ~arm64 from ml-overlay (diff)
downloadgentoo-d67532a7a689d07e57b49291bd7fae010635801e.tar.gz
gentoo-d67532a7a689d07e57b49291bd7fae010635801e.tar.bz2
gentoo-d67532a7a689d07e57b49291bd7fae010635801e.zip
dev-ml/result: Bump to 1.5
Co-Author: Alexis Ballier <aballier@gentoo.org> Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/result/Manifest1
-rw-r--r--dev-ml/result/metadata.xml5
-rw-r--r--dev-ml/result/result-1.5.ebuild18
3 files changed, 23 insertions, 1 deletions
diff --git a/dev-ml/result/Manifest b/dev-ml/result/Manifest
index f2af9475afe7..a15c2e990f55 100644
--- a/dev-ml/result/Manifest
+++ b/dev-ml/result/Manifest
@@ -1 +1,2 @@
DIST result-1.2.tar.gz 2100 BLAKE2B 9c746c85200ad6af1014dbc4959347b19f48f24448fb36a33b0b50f8d3d8cf4536f7ea3e994953d29122c8dafe87289707eeab67f7a0dc44d0bc509715169e79 SHA512 b47fe24302182642c7dfb3329a9a475518fca01ed7080fb625379abbb7ada0bec4a27e666886c101ba4b0083eeb6312740d99ef764690d38ee6e6d8960fc9b87
+DIST result-1.5.tar.gz 2291 BLAKE2B 76010676aa806fac3766e9ba70b770b3bd01347b1365892beba4c33415d0942a9368f0437ee5a8339b355b939d1625b2fa9c8ad4cf774007637eb51f4b20f11b SHA512 5ca3aab3b46bff7f4fa4517b5d823de196d7a97a8b94a8e416a5e237061482f4d0030c6a339291d5aa8f68020ee11aed743b730970105a2303e6a93d26ca676a
diff --git a/dev-ml/result/metadata.xml b/dev-ml/result/metadata.xml
index 3fca8513dd2e..ffa2962f92c9 100644
--- a/dev-ml/result/metadata.xml
+++ b/dev-ml/result/metadata.xml
@@ -1,7 +1,10 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
- <!-- maintainer-needed -->
+ <maintainer type="person">
+ <email>gienah@gentoo.org</email>
+ <name>Mark Wright</name>
+ </maintainer>
<upstream>
<remote-id type="github">janestreet/result</remote-id>
</upstream>
diff --git a/dev-ml/result/result-1.5.ebuild b/dev-ml/result/result-1.5.ebuild
new file mode 100644
index 000000000000..eb1d6d56a383
--- /dev/null
+++ b/dev-ml/result/result-1.5.ebuild
@@ -0,0 +1,18 @@
+# Copyright 1999-2020 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+DESCRIPTION="Compat result type"
+HOMEPAGE="https://github.com/janestreet/result"
+SRC_URI="https://github.com/janestreet/result/archive/${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="BSD"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~x86"
+IUSE="+ocamlopt"
+
+RDEPEND=""
+DEPEND="${RDEPEND}"