1 |
commit: 3e5dff3bef6f13d5d3e6fce7fc41f60525e36ea0 |
2 |
Author: Patrice Clement <monsieurp <AT> gentoo <DOT> org> |
3 |
AuthorDate: Thu Nov 1 22:25:37 2018 +0000 |
4 |
Commit: Patrice Clement <monsieurp <AT> gentoo <DOT> org> |
5 |
CommitDate: Thu Nov 1 22:26:20 2018 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3e5dff3b |
7 |
|
8 |
sci-mathematics/isabelle: fix scala dependency. |
9 |
|
10 |
Signed-off-by: Patrice Clement <monsieurp <AT> gentoo.org> |
11 |
Package-Manager: Portage-2.3.49, Repoman-2.3.11 |
12 |
|
13 |
sci-mathematics/isabelle/isabelle-2016.1.ebuild | 12 ++++++------ |
14 |
1 file changed, 6 insertions(+), 6 deletions(-) |
15 |
|
16 |
diff --git a/sci-mathematics/isabelle/isabelle-2016.1.ebuild b/sci-mathematics/isabelle/isabelle-2016.1.ebuild |
17 |
index 99534d2b138..3e67fa95fbf 100644 |
18 |
--- a/sci-mathematics/isabelle/isabelle-2016.1.ebuild |
19 |
+++ b/sci-mathematics/isabelle/isabelle-2016.1.ebuild |
20 |
@@ -1,4 +1,4 @@ |
21 |
-# Copyright 1999-2017 Gentoo Foundation |
22 |
+# Copyright 1999-2018 Gentoo Authors |
23 |
# Distributed under the terms of the GNU General Public License v2 |
24 |
|
25 |
EAPI="6" |
26 |
@@ -65,7 +65,7 @@ XZ_JAVA_P="${XZ_JAVA_PN}-${XZ_JAVA_PV}" |
27 |
XZ_JAVA_IC_PN="${XZ_JAVA_PN}-isabelle-component" |
28 |
XZ_JAVA_IC_P="${XZ_JAVA_IC_PN}-${XZ_JAVA_PV}" |
29 |
|
30 |
-SS="2.11" |
31 |
+SS="2.12" |
32 |
|
33 |
DESCRIPTION="Isabelle is a generic proof assistant" |
34 |
HOMEPAGE="http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html" |
35 |
@@ -105,7 +105,7 @@ DEPEND=">=app-shells/bash-3.0:* |
36 |
virtual/latex-base |
37 |
dev-tex/rail |
38 |
) |
39 |
- >=dev-lang/scala-2.11.8:${SS} |
40 |
+ dev-lang/scala:${SS} |
41 |
ledit? ( |
42 |
app-misc/ledit |
43 |
) |
44 |
@@ -113,10 +113,10 @@ DEPEND=">=app-shells/bash-3.0:* |
45 |
app-misc/rlwrap |
46 |
)" |
47 |
|
48 |
-RDEPEND="dev-perl/libwww-perl |
49 |
+RDEPEND=" |
50 |
+ dev-perl/libwww-perl |
51 |
sci-mathematics/sha1-polyml |
52 |
- >=virtual/jre-1.8 |
53 |
- ${DEPEND}" |
54 |
+ >=virtual/jre-1.8" |
55 |
|
56 |
S="${WORKDIR}"/Isabelle${MY_PV} |
57 |
TARGETDIR="/usr/share/Isabelle" |