Fix Bug 542710 - sci-mathematics/isabelle-2013.2 - Couldn't download 'Isabelle2013-2.tar.gz'. Aborting. Thanks to Toralf Forster for reporting, Thomas Kahle for finding the missing download file.

(Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit with key 618E971F)

5 files changed, 18 insertions, 12 deletions

diff --git a/sci-mathematics/isabelle/ChangeLog b/sci-mathematics/isabelle/ChangeLog
index 0a19e8e72d60..4aef8d2c85b1 100644
--- a/sci-mathematics/isabelle/ChangeLog
+++ b/sci-mathematics/isabelle/ChangeLog
@@ -1,6 +1,12 @@
 # ChangeLog for sci-mathematics/isabelle
 # Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/ChangeLog,v 1.12 2015/01/25 13:08:28 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/ChangeLog,v 1.13 2015/03/25 01:46:06 gienah Exp $
+
+  25 Mar 2015; Mark Wright <gienah@gentoo.org> isabelle-2011.1-r2.ebuild,
+  isabelle-2012-r1.ebuild, isabelle-2013-r1.ebuild, isabelle-2013.2.ebuild:
+  Fix Bug 542710 - sci-mathematics/isabelle-2013.2 - Couldn't download
+  'Isabelle2013-2.tar.gz'. Aborting. Thanks to Toralf Forster for reporting,
+  Thomas Kahle for finding the missing download file.
 
 *isabelle-2013.2 (25 Jan 2015)
 
diff --git a/sci-mathematics/isabelle/isabelle-2011.1-r2.ebuild b/sci-mathematics/isabelle/isabelle-2011.1-r2.ebuild
index 116239d95593..7672ae05012a 100644
--- a/sci-mathematics/isabelle/isabelle-2011.1-r2.ebuild
+++ b/sci-mathematics/isabelle/isabelle-2011.1-r2.ebuild
@@ -1,6 +1,6 @@
-# Copyright 1999-2014 Gentoo Foundation
+# Copyright 1999-2015 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/isabelle-2011.1-r2.ebuild,v 1.1 2014/01/07 13:36:33 tomwij Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/isabelle-2011.1-r2.ebuild,v 1.2 2015/03/25 01:46:06 gienah Exp $
 
 EAPI="5"
 
@@ -23,7 +23,7 @@ IUSE="${ALL_LOGICS} doc graphbrowsing ledit readline +proofgeneral test"
 #upstream says
 #bash 2.x/3.x, Poly/ML 5.x, Perl 5.x,
 #for document preparation: complete LaTeX
-DEPEND=">=app-shells/bash-3.0
+DEPEND=">=app-shells/bash-3.0:*
 		>=dev-lang/polyml-5.4.1:=[-portable]
 		>=dev-lang/perl-5.8.8-r2"
 
diff --git a/sci-mathematics/isabelle/isabelle-2012-r1.ebuild b/sci-mathematics/isabelle/isabelle-2012-r1.ebuild
index d1bf4611a053..64758eff278b 100644
--- a/sci-mathematics/isabelle/isabelle-2012-r1.ebuild
+++ b/sci-mathematics/isabelle/isabelle-2012-r1.ebuild
@@ -1,6 +1,6 @@
-# Copyright 1999-2014 Gentoo Foundation
+# Copyright 1999-2015 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/isabelle-2012-r1.ebuild,v 1.1 2014/01/07 13:36:33 tomwij Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/isabelle-2012-r1.ebuild,v 1.2 2015/03/25 01:46:06 gienah Exp $
 
 EAPI="5"
 
@@ -29,7 +29,7 @@ IUSE="${ALL_LOGICS} doc graphbrowsing ledit readline pide +proofgeneral test"
 #upstream says
 #bash 2.x/3.x, Poly/ML 5.x, Perl 5.x,
 #for document preparation: complete LaTeX
-DEPEND=">=app-shells/bash-3.0
+DEPEND=">=app-shells/bash-3.0:*
 		>=dev-lang/polyml-5.4.1:=[-portable]
 		>=dev-lang/perl-5.8.8-r2"
 
diff --git a/sci-mathematics/isabelle/isabelle-2013-r1.ebuild b/sci-mathematics/isabelle/isabelle-2013-r1.ebuild
index 6f57d1ef679f..91ba03fd42ec 100644
--- a/sci-mathematics/isabelle/isabelle-2013-r1.ebuild
+++ b/sci-mathematics/isabelle/isabelle-2013-r1.ebuild
@@ -1,6 +1,6 @@
 # Copyright 1999-2015 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/isabelle-2013-r1.ebuild,v 1.2 2015/01/25 13:08:28 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/isabelle-2013-r1.ebuild,v 1.3 2015/03/25 01:46:06 gienah Exp $
 
 EAPI="5"
 
@@ -36,7 +36,7 @@ IUSE="doc graphbrowsing ledit readline proofgeneral"
 #upstream says
 #bash 2.x/3.x, Poly/ML 5.x, Perl 5.x,
 #for document preparation: complete LaTeX
-DEPEND=">=app-shells/bash-3.0
+DEPEND=">=app-shells/bash-3.0:*
 	dev-java/ant-core:0
 	>=dev-java/jcommon-1.0.18:1.0
 	>=dev-java/jfreechart-1.0.14:1.0
diff --git a/sci-mathematics/isabelle/isabelle-2013.2.ebuild b/sci-mathematics/isabelle/isabelle-2013.2.ebuild
index 7e6d8cf25bd1..91894d96160b 100644
--- a/sci-mathematics/isabelle/isabelle-2013.2.ebuild
+++ b/sci-mathematics/isabelle/isabelle-2013.2.ebuild
@@ -1,6 +1,6 @@
 # Copyright 1999-2015 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/isabelle-2013.2.ebuild,v 1.1 2015/01/25 13:08:28 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/isabelle-2013.2.ebuild,v 1.2 2015/03/25 01:46:06 gienah Exp $
 
 EAPI="5"
 
@@ -30,7 +30,7 @@ POLYML_IC_P="${POLYML_IC_PN}-${POLYML_PV}"
 
 DESCRIPTION="Isabelle is a generic proof assistant"
 HOMEPAGE="http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html"
-SRC_URI="http://isabelle.in.tum.de/dist/${MY_P}.tar.gz
+SRC_URI="http://www.cl.cam.ac.uk/users/lcp/archive/${MY_P}.tar.gz
 		http://isabelle.in.tum.de/components/${JEDIT_P}.tar.gz -> ${JEDIT_IC_P}.tar.gz
 		http://isabelle.in.tum.de/dist/contrib/${JFREECHART_P}.tar.gz -> ${JFREECHART_IC_P}.tar.gz
 		http://dev.gentoo.org/~gienah/snapshots/${POLYML_IC_P}.tar.gz"
@@ -43,7 +43,7 @@ IUSE="doc graphbrowsing ledit readline proofgeneral"
 #upstream says
 #bash 2.x/3.x, Poly/ML 5.x, Perl 5.x,
 #for document preparation: complete LaTeX
-DEPEND=">=app-shells/bash-3.0
+DEPEND=">=app-shells/bash-3.0:*
 	dev-java/ant-core:0
 	>=dev-java/jcommon-1.0.18:1.0
 	>=dev-java/jfreechart-1.0.14:1.0