From 752d6256e5204b958b0ef7905675a940b5e9172f Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Thu, 12 May 2022 16:42:50 +0300 Subject: gentoo resync : 12.05.2022 --- dev-ml/topkg/topkg-1.0.5.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'dev-ml/topkg/topkg-1.0.5.ebuild') diff --git a/dev-ml/topkg/topkg-1.0.5.ebuild b/dev-ml/topkg/topkg-1.0.5.ebuild index 85e68779db2c..984936e880e2 100644 --- a/dev-ml/topkg/topkg-1.0.5.ebuild +++ b/dev-ml/topkg/topkg-1.0.5.ebuild @@ -11,7 +11,7 @@ SRC_URI="https://github.com/dbuenzli/topkg/archive/v${PV}.tar.gz -> ${P}.tar.gz" LICENSE="ISC" SLOT="0/${PV}" -KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" IUSE="+ocamlopt" RDEPEND="dev-ml/result:= -- cgit v1.2.3