From 3e5dff3bef6f13d5d3e6fce7fc41f60525e36ea0 Mon Sep 17 00:00:00 2001
From: Patrice Clement <monsieurp@gentoo.org>
Date: Thu, 1 Nov 2018 23:25:37 +0100
Subject: [PATCH] sci-mathematics/isabelle: fix scala dependency.

Signed-off-by: Patrice Clement <monsieurp@gentoo.org>
Package-Manager: Portage-2.3.49, Repoman-2.3.11
---
 sci-mathematics/isabelle/isabelle-2016.1.ebuild | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/sci-mathematics/isabelle/isabelle-2016.1.ebuild b/sci-mathematics/isabelle/isabelle-2016.1.ebuild
index 99534d2b13891..3e67fa95fbffd 100644
--- a/sci-mathematics/isabelle/isabelle-2016.1.ebuild
+++ b/sci-mathematics/isabelle/isabelle-2016.1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2017 Gentoo Foundation
+# Copyright 1999-2018 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI="6"
@@ -65,7 +65,7 @@ XZ_JAVA_P="${XZ_JAVA_PN}-${XZ_JAVA_PV}"
 XZ_JAVA_IC_PN="${XZ_JAVA_PN}-isabelle-component"
 XZ_JAVA_IC_P="${XZ_JAVA_IC_PN}-${XZ_JAVA_PV}"
 
-SS="2.11"
+SS="2.12"
 
 DESCRIPTION="Isabelle is a generic proof assistant"
 HOMEPAGE="http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html"
@@ -105,7 +105,7 @@ DEPEND=">=app-shells/bash-3.0:*
 		virtual/latex-base
 		dev-tex/rail
 	)
-	>=dev-lang/scala-2.11.8:${SS}
+	dev-lang/scala:${SS}
 	ledit? (
 		app-misc/ledit
 	)
@@ -113,10 +113,10 @@ DEPEND=">=app-shells/bash-3.0:*
 		app-misc/rlwrap
 	)"
 
-RDEPEND="dev-perl/libwww-perl
+RDEPEND="
+	dev-perl/libwww-perl
 	sci-mathematics/sha1-polyml
-	>=virtual/jre-1.8
-	${DEPEND}"
+	>=virtual/jre-1.8"
 
 S="${WORKDIR}"/Isabelle${MY_PV}
 TARGETDIR="/usr/share/Isabelle"