commit: 51abf617505aeccd1d7c9e866e206563d71ad3d0 Author: Marius Brehler <marbre <AT> linux <DOT> sungazer <DOT> de> AuthorDate: Wed Jun 15 14:55:40 2016 +0000 Commit: Marius Brehler <marbre <AT> linux <DOT> sungazer <DOT> de> CommitDate: Wed Jun 15 14:55:40 2016 +0000 URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=51abf617
sci-mathematics/why3: Drop ~x86 keyword Package-Manager: portage-2.2.28 sci-mathematics/why3/why3-0.83.ebuild | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/sci-mathematics/why3/why3-0.83.ebuild b/sci-mathematics/why3/why3-0.83.ebuild index b07bcc3..2b2643f 100644 --- a/sci-mathematics/why3/why3-0.83.ebuild +++ b/sci-mathematics/why3/why3-0.83.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2015 Gentoo Foundation +# Copyright 1999-2016 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Id$ @@ -12,7 +12,7 @@ SRC_URI="https://gforge.inria.fr/frs/download.php/33490/${P}.tar.gz"; LICENSE="LGPL-2" SLOT="0" -KEYWORDS="~amd64 ~x86" +KEYWORDS="~amd64" IUSE="float frama-c doc examples" DEPEND=">=dev-lang/ocaml-3.12.1
