diff options
author | Agostino Sarubbo <ago@gentoo.org> | 2017-01-25 11:57:47 +0100 |
---|---|---|
committer | Agostino Sarubbo <ago@gentoo.org> | 2017-01-25 11:57:47 +0100 |
commit | 534e9e8a01794f35dd16deade99a6a1bf58dae63 (patch) | |
tree | 380f9d8c81efd9b3266fc4411215d08de892326f /dev-ml | |
parent | dev-ml/camlzip: x86 stable wrt bug #607028 (diff) | |
download | gentoo-534e9e8a01794f35dd16deade99a6a1bf58dae63.tar.gz gentoo-534e9e8a01794f35dd16deade99a6a1bf58dae63.tar.bz2 gentoo-534e9e8a01794f35dd16deade99a6a1bf58dae63.zip |
dev-ml/facile: x86 stable wrt bug #607032
Package-Manager: portage-2.3.0
RepoMan-Options: --include-arches="x86"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r-- | dev-ml/facile/facile-1.1.2.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-ml/facile/facile-1.1.2.ebuild b/dev-ml/facile/facile-1.1.2.ebuild index 62aba489c27a..3b046b93a1a6 100644 --- a/dev-ml/facile/facile-1.1.2.ebuild +++ b/dev-ml/facile/facile-1.1.2.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2014 Gentoo Foundation +# Copyright 1999-2017 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Id$ @@ -13,7 +13,7 @@ SRC_URI="http://www.recherche.enac.fr/log/facile/distrib/${P}.tar.gz" LICENSE="LGPL-2.1" SLOT="0/${PV}" -KEYWORDS="~alpha ~amd64 ~hppa ~ia64 ~ppc ~ppc64 ~sparc ~x86 ~x86-fbsd" +KEYWORDS="~alpha ~amd64 ~hppa ~ia64 ~ppc ~ppc64 ~sparc x86 ~x86-fbsd" IUSE="+ocamlopt" RDEPEND=">=dev-lang/ocaml-4:=[ocamlopt?]" |