diff options
-rw-r--r-- | dev-ml/ppx_driver/ppx_driver-0.9.1.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/ppx_driver/ppx_driver-0.9.1.ebuild b/dev-ml/ppx_driver/ppx_driver-0.9.1.ebuild index ca8838223d31..1baaf8358f6b 100644 --- a/dev-ml/ppx_driver/ppx_driver-0.9.1.ebuild +++ b/dev-ml/ppx_driver/ppx_driver-0.9.1.ebuild @@ -9,7 +9,7 @@ SRC_URI="https://github.com/janestreet/ppx_driver/archive/v${PV}.tar.gz -> ${P}. LICENSE="Apache-2.0" SLOT="0/${PV}" -KEYWORDS="~amd64" +KEYWORDS="~amd64 ~ppc" IUSE="" DEPEND=" |