diff options
author | 2015-03-25 01:46:06 +0000 | |
---|---|---|
committer | 2015-03-25 01:46:06 +0000 | |
commit | 85a5ae53b6dec48a197a132c8ec604711f09bbee (patch) | |
tree | 94692559d839088aba68bd539704525327140187 /sci-mathematics/isabelle/ChangeLog | |
parent | Add note about --enable-convert being broken. (diff) | |
download | gentoo-2-85a5ae53b6dec48a197a132c8ec604711f09bbee.tar.gz gentoo-2-85a5ae53b6dec48a197a132c8ec604711f09bbee.tar.bz2 gentoo-2-85a5ae53b6dec48a197a132c8ec604711f09bbee.zip |
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)
Diffstat (limited to 'sci-mathematics/isabelle/ChangeLog')
-rw-r--r-- | sci-mathematics/isabelle/ChangeLog | 8 |
1 files changed, 7 insertions, 1 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) |