commit: daad1b1261436d6ac1e3ea1e78546f67923369f1
Author: Jauhien Piatlicki <jauhien <AT> gentoo <DOT> org>
AuthorDate: Mon Jun 16 10:23:50 2014 +0000
Commit: Jauhien Piatlicki <jauhien <AT> gentoo <DOT> org>
CommitDate: Mon Jun 16 10:23:50 2014 +0000
URL:
http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=daad1b12
sci-mathematics/alt-ergo: fix bug #479994: move sources to my dev space
---
sci-mathematics/alt-ergo/ChangeLog | 8 +++++++-
.../alt-ergo/{alt-ergo-0.95.1.ebuild => alt-ergo-0.95.2.ebuild} | 5 +++--
2 files changed, 10 insertions(+), 3 deletions(-)
diff --git a/sci-mathematics/alt-ergo/ChangeLog
b/sci-mathematics/alt-ergo/ChangeLog
index c55de8b..b396eaa 100644
--- a/sci-mathematics/alt-ergo/ChangeLog
+++ b/sci-mathematics/alt-ergo/ChangeLog
@@ -1,7 +1,13 @@
# ChangeLog for sci-mathematics/alt-ergo
-# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
+# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2
# $Header: $
+*alt-ergo-0.95.2 (16 Jun 2014)
+
+ 16 Jun 2014; Jauhien Piatlicki <[email protected]> -alt-ergo-0.95.1.ebuild,
+ +alt-ergo-0.95.2.ebuild:
+ fix bug #479994: move sources to my dev space
+
*alt-ergo-0.95.1 (25 Aug 2013)
25 Aug 2013; Andrew Savchenko <[email protected]> -alt-ergo-0.95.ebuild,
diff --git a/sci-mathematics/alt-ergo/alt-ergo-0.95.1.ebuild
b/sci-mathematics/alt-ergo/alt-ergo-0.95.2.ebuild
similarity index 88%
rename from sci-mathematics/alt-ergo/alt-ergo-0.95.1.ebuild
rename to sci-mathematics/alt-ergo/alt-ergo-0.95.2.ebuild
index 54cb8a5..ce0fcc7 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-0.95.1.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-0.95.2.ebuild
@@ -8,16 +8,17 @@ inherit eutils
DESCRIPTION="Alt-Ergo is an automatic theorem prover"
HOMEPAGE="http://alt-ergo.lri.fr";
-SRC_URI="http://alt-ergo.lri.fr/http/${P}/${P}.tar.gz";
+SRC_URI="http://dev.gentoo.org/~jauhien/distfiles/${P}.tar.gz";
LICENSE="CeCILL-C"
SLOT="0"
-KEYWORDS="~amd64 ~ppc ~x86"
+KEYWORDS="~amd64 ~x86"
IUSE="+ocamlopt gtk"
DEPEND="
>=dev-lang/ocaml-3.10.2[ocamlopt?]
>=dev-ml/ocamlgraph-1.8.2[gtk?,ocamlopt?]
+ dev-ml/zarith
gtk? (
x11-libs/gtksourceview:2.0
>=dev-ml/lablgtk-2.14[sourceview,ocamlopt?]
