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.

Package-Manager: portage-2.2.18/cvs/Linux x86_64
Manifest-Sign-Key: 0x618E971F

6 files changed, 26 insertions, 20 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/Manifest b/sci-mathematics/isabelle/Manifest
index b394fe2d8c6a..ea26f8591119 100644
--- a/sci-mathematics/isabelle/Manifest
+++ b/sci-mathematics/isabelle/Manifest
@@ -28,17 +28,17 @@ DIST jedit_build-isabelle-component-20131106.tar.gz 8796625 SHA256 a13a896263804
 DIST jfreechart-isabelle-component-1.0.14-1.tar.gz 3444825 SHA256 b0eb7365c4c5877379889100f081a4afc4117afc0d332941c3dd01bef2c4aee9 SHA512 ee1d84a45e43029d5e3acee823176196da19789322e8d3c2c81d5504930ad81d50e16e5da87655e4151034901daefb4ce6b82334839e39134b3a7ce32203aa67 WHIRLPOOL e6f9caadb802ecb5b784e86e96c008e9271aa0b1c940152fb0b0358280d9c1e274bb0dee1507f8ff0fe7f43f863db538d631c76e146d1f66ab6e8a8fb27eb42d
 DIST jfreechart-isabelle-component-1.0.14.tar.gz 3443727 SHA256 c873ad6f07edbcceb5c76aac2e848c7d7f12c78c93c05f7e97c4b1fdba7c2df0 SHA512 c55ec01b215368f064de2f288f788960a256445adca5565c00aa9c0fab5732707a9e72bcdb3838676c80e735c520b9948855d7a32b9076bf35f1a279320ee72a WHIRLPOOL ba1a75e21525c302a3b755d814502dad60c540c2004dd894f60fdd6966766f85d71bbb45728ca220a4a7cff334de81db756fbb89e1059f32e248cabf0a7b97d6
 DIST polyml-isabelle-component-5.5.1-1.tar.gz 831 SHA256 f19a4dfc3117792423270cb98a5c406f7339f4bd7715c16976a281d964792844 SHA512 35ab69d0fd2737f3c6a13ca022103428bcb0e71032304d244614d271848b9ae8986da25bd4ef02668eef169f3a3a72576a619152ce3cbf036af7aa365e857c1a WHIRLPOOL 682e25b677e1b0401a43d4cff35c69658359b4c74f86d3459c050e7c7b0d17f1de1e7b792f2a51f97acf574ad56b3e89ade688bc24d090b3e89eaf0cb99a08d5
-EBUILD isabelle-2011.1-r2.ebuild 8115 SHA256 1425dc7fc5b6fb1410acc5c2eb09f48ee470e8fe23f3c330021cda8d813ebb9a SHA512 e6d4cf8c1971086a1fb2ac786b4e48eb38ceb1a00932e8df91bcbb9e743ce641170ab73f2d9c175f4901b862a376c3a1a685c09e8e3ea46371558406ce0c1b20 WHIRLPOOL a3f91037261b947da149bc600c9a3b7c7b9ed7c5f2c2e4f7811cecbb5c47967ae7a9fde667d29db6452e5390901fe26c4a9b89f2341fe8228ce0d9d3d88b32e0
+EBUILD isabelle-2011.1-r2.ebuild 8117 SHA256 61c49cd4699c9b069d4dfcef1b8eb2b85484ad363f8e54a327d89a4f8319735c SHA512 c29060c53c6ab7f73790aeac92c1665dd43407ced38e2bf66947255d44bd4abc4c616129bc7c770506d3abedab5e64d2038d846ced72ca814a3366ff21877830 WHIRLPOOL 745c7d21f3eedaac384f5df515642a15109dc75293fc9b6fac0a28eb618fce6fa10db81de8c63f58d71ff064cfa70d5c2ae78cdbe725f3cfb8ee502221700759
 EBUILD isabelle-2011.1.ebuild 4036 SHA256 6063b32c39e50c42e81051197ce46a735bb16448c13b5ff1f8af5018f07b3020 SHA512 430524175bd5fbf4beb325a93ef746bf5df5c2beabc4b6d9536c1f7370e0c1babdd9bf00a617076a74ff892e5909ffe01f791a7121bdf3fb3cd817eb42f4bf66 WHIRLPOOL 3e3bcc27aa6ff8f4853fb142c0a4312bb7eeb908639a3fc826ae882a16fca60c03374387f4e06b19f4b079afb562d782d786c75c1c4a36c2cac2db47c0f04e18
-EBUILD isabelle-2012-r1.ebuild 11015 SHA256 1e15911e89af34332811e04a25c84c7730338a7b17a295b59ac71fa9515b9fd4 SHA512 725559331033b7b7a7e7fb68fe7cce89adc44e7cbd9cc3f3e0b28810bd667417def64b26ec803b5bb51065a34c10d0dad31fed2f0e7e38b41b352fddeda885da WHIRLPOOL 18aeb75c4e68e4470aa2793924c615f951534e03ee7dc8bf347084727d32f1b1037dfdedbf8cff849edd35ab7bf97b08fe73c5519b283bd97f9e4077b799af8d
-EBUILD isabelle-2013-r1.ebuild 12457 SHA256 06bfd1a23a8758d2c373088aa63fd7fcfb6ec2c5e6bcc83f8028c00336bac595 SHA512 0f17e9519343c89af699a1cef81662f287ccc10a423f6764d1ef7189a7efc2abe9637671f280ff40b3d3766bea2080a8d81c163fd9e6d8e6538c0f9ba039c47a WHIRLPOOL aead60121b7a2324c49fb6a249cf21a11d3d255b04bf3f8654cfe893c51382099fd0450ccd3aaccee953ba98721e307cb3555062b3c873cff9b6c4db5ce76ac3
-EBUILD isabelle-2013.2.ebuild 13887 SHA256 31e9e7bb4c411dcf8c2b29deeb0f0ea91ccf4fd36887f659c666146e846f3b08 SHA512 c79226870182f1d2c74ecb689636342590cb43bab6293c49e379662c9a926950b911de40909e828ceba38f4201257f7bfa8f535736a75017ae31641a566c28a8 WHIRLPOOL 1891f1852a7441c3a0a9ce7a0849480ec575a7dd868fe450b74de1508160994b606770ac9e08d602c9b2be0bd93236bcb406abbc95324532bea18e83687517eb
-MISC ChangeLog 4071 SHA256 53bf353a90180d1b5849b242c766e81a9aa9e78277df9ca3d67f8ec0e896ab4d SHA512 3f5b637a8d9c77961b2edfaaaedd7a9eba97d5de7c214a38f39225dfc98bcca246cac98063c77b67e1aabd77ecb1d44abd005bb9607eccfcb9768653da741a59 WHIRLPOOL 298804c6ed932cc26dd483557a69c27a2184f84f0fe6c50d03862ce5d8abcb24f5317b6135242cc57a885dccc314d33c773d2df2987adcd589dd3b28c9709008
+EBUILD isabelle-2012-r1.ebuild 11017 SHA256 19cd30a1690f58dc518f50cbcfd0c92704e25c49b3ef829a6e5bd4dfcee705a1 SHA512 4de5cdecd01dafadbffff04bd2122c829ee50576688cc5807db2de239671b3142b357f20433f6aedcd9fcbdc5aedc184eb16953222e9f05c8480400f37762336 WHIRLPOOL af0ba053668ff08e605995072e9d8bfdb97f6d7e3f167b36eedb1623a60e8e4a26422752d0fe315b106d7f14c699a0eb97ad284731c579f3130e637a7a523f6f
+EBUILD isabelle-2013-r1.ebuild 12459 SHA256 5a602167ab7b38ffb452b5aa560640119f02514bd765da2027e759b32b1d8448 SHA512 ccc1512533db20c5c6ea43aef6e8bd345607609de2e3eac9231fcb90381456ca1aed85f6fa6fc5e231ed00a00d14095c737b11f6396b546ba45686da49915647 WHIRLPOOL e3b601c3f9e5639543651d81b99a527a591c7d9ba39017b4d6c56a26c248001e827a6d2fbd6d4901dc582f900034e4abd808347805debd94afbf6f1dc6de66a5
+EBUILD isabelle-2013.2.ebuild 13900 SHA256 8cf490511b5a1328e193c85fc6353e5f5ba0bfc87e1dc9ff3c2f2aaca2497d60 SHA512 cdf2317177e06a80ec81f6763abb9b036423c168797e63f7e3e4649f0923d1061ae6a73a71268f9f81c0f412368be42912039c4dbaabc0768a05ca0faa81b2ec WHIRLPOOL 2ab953c7dc609216102c6fb63f10adef26bb14a7c1c8a4274a313d0bba17e559c2fb357a10b8424cf130100859d6691edd74f7b63646071421ec35b49d2c3adb
+MISC ChangeLog 4424 SHA256 d3dc691b43e556be29f771c1fe9f545ff3269da95f5cc918c1681f0ddb70a97a SHA512 669352654b91a2f7b5d1767182471227a8a4c80f2368768086c4fcc2652f854dbb13d277c2da139720955695456793f4c6d3386f6a115e069c62f526889b2177 WHIRLPOOL 74d073ff1d6ac3b312a49e04992c5aaa2c61fbe3c1958e13cf749e66257d7d0e2ea6afa3d7adc733426c7892ba4b9eb093c61a1bb11910ededf1916cf50f70e1
 MISC metadata.xml 2156 SHA256 cade1f090a62a67146e6ebce508a20436e2c883d62dbc5a260733a60f69bd43b SHA512 cade4e370f3adbf9a5ae9bc6a73adabbe36f3ccc707c47f6f4516f2f0604b26f34439cff170bf478b3d52f0c507d72d9eef8f69657d7de2fda1f70a8a96de137 WHIRLPOOL 2edf4ab8a07ba560d34e168a9fd618a6fc1f9946dd0f9b62a2d071d1f19546d5e15413f54658c898e1e71df0c110ea832529f95cf904b7333489734fdfd5749b
 -----BEGIN PGP SIGNATURE-----
 Version: GnuPG v2
 
-iF4EAREIAAYFAlTE6tQACgkQoBEVQmGOlx8O3QEA0QqcFbE9RUCqH8l3RP//Zgto
-WfMpEnKj9608AE/UqIQA/0SbuFW2AYku4GdjN4016QDzPo3OteX3f3CHWG5Bb+qc
-=ypQU
+iF4EAREIAAYFAlUSE2oACgkQoBEVQmGOlx9zAgEAyHV+P3iPdGNo17RzUmHxRQ5G
+gg0E5fdtWuBGczu8qDYBAIAZ5NYkG/K6tdkeiCkC796SJznkSmAQ0CagxX5Bx2uQ
+=8Rgl
 -----END PGP SIGNATURE-----
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