summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTupone Alfredo <tupone@gentoo.org>2018-12-16 09:35:29 +0100
committerTupone Alfredo <tupone@gentoo.org>2018-12-16 09:35:29 +0100
commitd902d1e13ffa95aed2b7e797e859c56ed0a67495 (patch)
treedd6ba7ffbef8de45e1366797d19a8c8bb4126048 /sci-mathematics
parentnet-im/telegram-desktop-bin: Bump version to 1.5.2 (diff)
downloadgentoo-d902d1e13ffa95aed2b7e797e859c56ed0a67495.tar.gz
gentoo-d902d1e13ffa95aed2b7e797e859c56ed0a67495.tar.bz2
gentoo-d902d1e13ffa95aed2b7e797e859c56ed0a67495.zip
sci-mathematics/alt-ergo: Stable release
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild4
1 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild b/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
index 8126e7e63d8..e5229fc8922 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2018 Gentoo Foundation
+# Copyright 1999-2018 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=6
@@ -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?]