From 51abf617505aeccd1d7c9e866e206563d71ad3d0 Mon Sep 17 00:00:00 2001
From: Marius Brehler <marbre@linux.sungazer.de>
Date: Wed, 15 Jun 2016 16:55:40 +0200
Subject: 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(-)

(limited to 'sci-mathematics/why3')

diff --git a/sci-mathematics/why3/why3-0.83.ebuild b/sci-mathematics/why3/why3-0.83.ebuild
index b07bcc30e..2b2643f8a 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
-- 
cgit v1.2.3-65-gdbad