summaryrefslogtreecommitdiff
path: root/dev-ml/jane-street-headers
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2022-05-12 16:42:50 +0300
committerV3n3RiX <venerix@koprulu.sector>2022-05-12 16:42:50 +0300
commit752d6256e5204b958b0ef7905675a940b5e9172f (patch)
tree330d16e6362a49cbed8875a777fe641a43376cd3 /dev-ml/jane-street-headers
parent0c100b7dd2b30e75b799d806df4ef899fd98e1ea (diff)
gentoo resync : 12.05.2022
Diffstat (limited to 'dev-ml/jane-street-headers')
-rw-r--r--dev-ml/jane-street-headers/Manifest4
-rw-r--r--dev-ml/jane-street-headers/jane-street-headers-0.14.0.ebuild2
-rw-r--r--dev-ml/jane-street-headers/jane-street-headers-0.15.0-r1.ebuild (renamed from dev-ml/jane-street-headers/jane-street-headers-0.15.0.ebuild)6
3 files changed, 6 insertions, 6 deletions
diff --git a/dev-ml/jane-street-headers/Manifest b/dev-ml/jane-street-headers/Manifest
index a5a83dc8bd2e..f41b34036a1f 100644
--- a/dev-ml/jane-street-headers/Manifest
+++ b/dev-ml/jane-street-headers/Manifest
@@ -1,5 +1,5 @@
DIST jane-street-headers-0.14.0.tar.gz 4662 BLAKE2B 22a48e9c254005d28c03399dd9d9347b45b7e3def9c0efdd768162f80ff611be6249d629cd78fd8768c7e6ec5610684e9459b149f3de85da307b2f1e8525296d SHA512 9c80acc57016f98cd88455866523f2463a13d2b7e10cf0d63f5198747615321799a8b3442432b321fa4f33a051f404464e27972317d197ac9513651600673879
DIST jane-street-headers-0.15.0.tar.gz 4865 BLAKE2B 932468266f6cd56ee2b484c5f4459919b2f0fa659a41d51132c169eda49734e5cc852e6aea5549173df6af603f3118de8bb8362b5d7ca5f27e00999d75eb8fa9 SHA512 83ea5e4cdbae6710c7071325164df06dcb652a69329698c5b0c8832057f4d7325e8a241e5818e78ad2f6b8daeb1d0635528d9bd3b6761c69f8370a7bdb773c1f
-EBUILD jane-street-headers-0.14.0.ebuild 437 BLAKE2B 1cead9fd4d73a6f817f7eb30e7a6da4fa26b513d8d57eb901f4175d3840dc18330739adaea8fe0842145334f26e9fcc95e65618ed7c6a5db9f9fbbd5a026669d SHA512 3fa49fe5cb795436f4b0cbeb1734dd9899c93ac06136d03e49db8dd0119331ee14c4c9292e2df7a634a786de4a76d9dab4ea0557ecdf2d76eb1ff0e2a315054d
-EBUILD jane-street-headers-0.15.0.ebuild 442 BLAKE2B e235c0b4f147a07c8476f58411e950269cb096b8dd560bdb9f2566d5f91e3ad75de07150bdd3887a40396113b620d4134466fbadc1bb479b6cd8dcba36e0986f SHA512 d06a724171f9b3821e0d7d243348e70c73afda3388a8f11cee68aabddb4796ac711cbb65ca25838ece1b33f0b5f873eab6e4a8e22bb7c5483e3723dbc95fc0c3
+EBUILD jane-street-headers-0.14.0.ebuild 444 BLAKE2B e4c2fe0f51e8105a7e47ad7f13a5e58fc8fa66f61059d6908596852337773cdcabb1a49c79bac8415f24997d51b8536da8ac173efe128830ba87fd87a1dab24e SHA512 342d54ebf0f332146cb729beaa666d7c8cacc93bb11c18b8d96ae7369f900fa42e5020e636ffa040127bb5809191138d47d05bf615bc9086ed5047f9430b0129
+EBUILD jane-street-headers-0.15.0-r1.ebuild 458 BLAKE2B 5267195545e4dbbd25f571f953be1171999b76f37ae48625b7679c2b2773445b48ca04dc3a55b24f457efabcd5459401543b67366e4d15dea6436d05e3bf3ea3 SHA512 aa8b2f00b670f6f52659373eac4fc6cf495792287d4164f4801308715cd2b475367c7d93bf9b77d80e6a5b6e19e152d012320e1496bc568660d7981675bd7844
MISC metadata.xml 433 BLAKE2B 7c7ca49386645d46dea571a508c221aa901bf6a68093e301159355d49c4b050a7927c08398cc8d9dc347dec60a0a1af5ffcfdd7a097a1084d969d11260f4b9b7 SHA512 14fe6143cedbf4c65c9e55a6395fcff15f5d9c877b8d511a32c9fd4ad7c878153fe1d74c957bc23d87e3ee3e8edb5553fbdb938986eb18cca23eb8e28bbd2af8
diff --git a/dev-ml/jane-street-headers/jane-street-headers-0.14.0.ebuild b/dev-ml/jane-street-headers/jane-street-headers-0.14.0.ebuild
index 6b0f4857c77e..b6578ae829b3 100644
--- a/dev-ml/jane-street-headers/jane-street-headers-0.14.0.ebuild
+++ b/dev-ml/jane-street-headers/jane-street-headers-0.14.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="Apache-2.0"
SLOT="0/${PV}"
-KEYWORDS="amd64 arm arm64 ~ppc ppc64 x86"
+KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86"
IUSE="+ocamlopt"
DEPEND=""
diff --git a/dev-ml/jane-street-headers/jane-street-headers-0.15.0.ebuild b/dev-ml/jane-street-headers/jane-street-headers-0.15.0-r1.ebuild
index 9a59ce4395d8..a4c44d1b6a3f 100644
--- a/dev-ml/jane-street-headers/jane-street-headers-0.15.0.ebuild
+++ b/dev-ml/jane-street-headers/jane-street-headers-0.15.0-r1.ebuild
@@ -1,7 +1,7 @@
# Copyright 1999-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
-EAPI=7
+EAPI=8
inherit dune
@@ -10,8 +10,8 @@ HOMEPAGE="https://github.com/janestreet/jane-street-headers"
SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
LICENSE="Apache-2.0"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
+SLOT="0/$(ver_cut 1-2)"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
IUSE="+ocamlopt"
DEPEND=""