diff options
| author |   Mark Wright <gienah@gentoo.org> | 2020-10-13 17:56:22 +1100 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2020-10-13 23:53:44 +1100 |
| commit | d67532a7a689d07e57b49291bd7fae010635801e (patch) | |
| tree | 3c47d8eafd3993e59c9d099fdb055146667fa74a /dev-ml | |
| parent | dev-ml/react: EAPI=7, add ~arm64 from ml-overlay (diff) | |
| download | gentoo-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/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/result/metadata.xml | 5 | ||||
| -rw-r--r-- | dev-ml/result/result-1.5.ebuild | 18 |
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}" |