diff options
| author |   Markus Meier <maekke@gentoo.org> | 2017-04-05 19:41:41 +0200 |
|---|---|---|
| committer | Markus Meier <maekke@gentoo.org> | 2017-04-05 19:49:58 +0200 |
| commit | 45470945aca81b6ae67b1a031e931cdc479cd30b (patch) | |
| tree | cac6d5459d3a15954a1fe77a628ef969901c29d6 /dev-ml/ppx_tools | |
| parent | dev-ml/react: add ~arm, bug #611014 (diff) | |
| download | gentoo-45470945aca81b6ae67b1a031e931cdc479cd30b.tar.gz gentoo-45470945aca81b6ae67b1a031e931cdc479cd30b.tar.bz2 gentoo-45470945aca81b6ae67b1a031e931cdc479cd30b.zip | |
dev-ml/ppx_tools: add ~arm, bug #611014
Package-Manager: Portage-2.3.5, Repoman-2.3.2
RepoMan-Options: --include-arches="arm"
Diffstat (limited to 'dev-ml/ppx_tools')
| -rw-r--r-- | dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild b/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild index 771b47be815e..1ae7942e8f5c 100644 --- a/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild +++ b/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild @@ -12,7 +12,7 @@ SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${MY_PV}.tar.gz -> ${P LICENSE="MIT" SLOT="0/${PV}" -KEYWORDS="~amd64 ~ppc" +KEYWORDS="~amd64 ~arm ~ppc" IUSE="" DEPEND=">=dev-lang/ocaml-4.03.0:=" |