summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMark Wright <gienah@gentoo.org>2015-03-25 01:46:06 +0000
committerMark Wright <gienah@gentoo.org>2015-03-25 01:46:06 +0000
commit85a5ae53b6dec48a197a132c8ec604711f09bbee (patch)
tree94692559d839088aba68bd539704525327140187 /sci-mathematics/isabelle/ChangeLog
parentAdd note about --enable-convert being broken. (diff)
downloadgentoo-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/ChangeLog8
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)