commit: d67532a7a689d07e57b49291bd7fae010635801e Author: Mark Wright <gienah <AT> gentoo <DOT> org> AuthorDate: Tue Oct 13 06:56:22 2020 +0000 Commit: Mark Wright <gienah <AT> gentoo <DOT> org> CommitDate: Tue Oct 13 12:53:44 2020 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d67532a7
dev-ml/result: Bump to 1.5 Co-Author: Alexis Ballier <aballier <AT> gentoo.org> Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah <AT> gentoo.org> dev-ml/result/Manifest | 1 + dev-ml/result/metadata.xml | 5 ++++- dev-ml/result/result-1.5.ebuild | 18 ++++++++++++++++++ 3 files changed, 23 insertions(+), 1 deletion(-) diff --git a/dev-ml/result/Manifest b/dev-ml/result/Manifest index f2af9475afe..a15c2e990f5 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 3fca8513dd2..ffa2962f92c 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>[email protected]</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 00000000000..eb1d6d56a38 --- /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}"
