diff options
Diffstat (limited to 'dev-ml/topkg')
| -rw-r--r-- | dev-ml/topkg/topkg-1.0.7.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/topkg/topkg-1.0.7.ebuild b/dev-ml/topkg/topkg-1.0.7.ebuild index f699f3952c35..aa27fdde0407 100644 --- a/dev-ml/topkg/topkg-1.0.7.ebuild +++ b/dev-ml/topkg/topkg-1.0.7.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 ~riscv ~x86" +KEYWORDS="~amd64 arm arm64 ~ppc ~ppc64 ~riscv ~x86" IUSE="+ocamlopt" RDEPEND="dev-ml/result:= |