From: Tupone Alfredo <tupone@gentoo.org>
Date: Mon, 21 Oct 2019 18:32:21 +0000 (+0200)
Subject: sci-mathematics/alt-ergo: stable
X-Git-Url: http://git.tremily.us/?a=commitdiff_plain;h=70cc32b67e809c86637547ecd658dd68c6321a93;p=gentoo.git

sci-mathematics/alt-ergo: stable

Package-Manager: Portage-2.3.69, Repoman-2.3.16
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
---

diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
index e3bbcdb317f1..52fdd50ec7a0 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
@@ -9,7 +9,7 @@ SRC_URI="https://alt-ergo.ocamlpro.com/http/${P}/${P}.tar.gz"
 
 LICENSE="CeCILL-C"
 SLOT="0"
-KEYWORDS="~amd64"
+KEYWORDS="amd64"
 IUSE="examples gtk +ocamlopt"
 
 DEPEND=">=dev-lang/ocaml-3.12.1[ocamlopt?]