diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2020-11-25 22:39:15 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2020-11-25 22:39:15 +0000 |
| commit | d934827bf44b7cfcf6711964418148fa60877668 (patch) | |
| tree | 0625f358789b5e015e49db139cc1dbc9be00428f /dev-ml/result | |
| parent | 2e34d110f164bf74d55fced27fe0000201b3eec5 (diff) | |
gentoo resync : 25.11.2020
Diffstat (limited to 'dev-ml/result')
| -rw-r--r-- | dev-ml/result/Manifest | 4 | ||||
| -rw-r--r-- | dev-ml/result/metadata.xml | 5 | ||||
| -rw-r--r-- | dev-ml/result/result-1.5.ebuild | 18 |
3 files changed, 25 insertions, 2 deletions
diff --git a/dev-ml/result/Manifest b/dev-ml/result/Manifest index 9b396a8a77ff..cfccf59e3d04 100644 --- a/dev-ml/result/Manifest +++ b/dev-ml/result/Manifest @@ -1,3 +1,5 @@ DIST result-1.2.tar.gz 2100 BLAKE2B 9c746c85200ad6af1014dbc4959347b19f48f24448fb36a33b0b50f8d3d8cf4536f7ea3e994953d29122c8dafe87289707eeab67f7a0dc44d0bc509715169e79 SHA512 b47fe24302182642c7dfb3329a9a475518fca01ed7080fb625379abbb7ada0bec4a27e666886c101ba4b0083eeb6312740d99ef764690d38ee6e6d8960fc9b87 +DIST result-1.5.tar.gz 2291 BLAKE2B 76010676aa806fac3766e9ba70b770b3bd01347b1365892beba4c33415d0942a9368f0437ee5a8339b355b939d1625b2fa9c8ad4cf774007637eb51f4b20f11b SHA512 5ca3aab3b46bff7f4fa4517b5d823de196d7a97a8b94a8e416a5e237061482f4d0030c6a339291d5aa8f68020ee11aed743b730970105a2303e6a93d26ca676a EBUILD result-1.2.ebuild 563 BLAKE2B a8b4d1bee26726d7b7a32c572309971d9be669bf84c82fecd42721579208c1034585e02bd9ecc510601ad1303655eb015269a627a014c374dac703a869f20b01 SHA512 f413b92901bdf028cdfea175326f331a2664a560ccd4bb0ee7dff922ec8c85fbc1d122abe06b090b29daab0bb2bd876b8f0fc327ee733317a89a0c6d6b706d69 -MISC metadata.xml 249 BLAKE2B 1387017b008b6162a2386ec65adf9023d496f0ba3521cb90d0bfd71d3648e87d432f667d25581e590903fd6a6cc257d412e90e73cae9e08fb56d3e25bad595a4 SHA512 c50ea66c86a0c544e47230cbcc1f722fafc3d89a0617fa046ec3bc97080aee2028b45081de4a884320cc0122358173d882456fa9bda7d1c088646364b55ad6b9 +EBUILD result-1.5.ebuild 417 BLAKE2B d1a664a27619642eb611e74ce99320d8d2b554765bae0b413110c841e749fcab2a5d9afecbea51a73b563759339b7fdff304f4375592e80dacf77f74da88535c SHA512 763de23d3a11bd1f5bac274f5786b3615f9825b6136e9f7cf0cc44d6d23703a8b1849f93fbb51c1981a65e72c51243e6d19064d99dc63e1a6838b127d4427c47 +MISC metadata.xml 326 BLAKE2B 654b7ffe8dd0fc4cb37f18afd5f9f39149e7244beb54f42688965c5b67eca7093b81d7ba4349e49d66943aef48e69e40a5df83ee2e3869cfb2513e9b836ab3dd SHA512 b667f60e0e7ce8439e7b100b99046324ee1dd2eee5379bafe48334b7bb63aec7f49df08e18a46febd8c8185fd4b0dfcdaeeeb91f11b32354e88264f2a234fb9e 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..5284eb6beba6 --- /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 ~ppc ~ppc64 ~x86" +IUSE="+ocamlopt" + +RDEPEND="" +DEPEND="${RDEPEND}" |