projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d1ca62b) | patch
Fix Bug 542710 - sci-mathematics/isabelle-2013.2 - Couldn't download 'Isabelle2013...
authorMark Wright <gienah@gentoo.org>
Wed, 25 Mar 2015 01:46:20 +0000 (01:46 +0000)
committerMark Wright <gienah@gentoo.org>
Wed, 25 Mar 2015 01:46:20 +0000 (01:46 +0000)
commit4a892f5df7ee7370ad85b467cb8be2aa48b98a2c
tree8d0ddacc126a00691c4c70ebf6f11bdb9dc4eddetree | snapshot
parentd1ca62b7df6b4dcd78859859f23cd71ad015e48fcommit | diff
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
sci-mathematics/isabelle/ChangeLog diff | blob | history
sci-mathematics/isabelle/Manifest diff | blob | history
sci-mathematics/isabelle/isabelle-2011.1-r2.ebuild diff | blob | history
sci-mathematics/isabelle/isabelle-2012-r1.ebuild diff | blob | history
sci-mathematics/isabelle/isabelle-2013-r1.ebuild diff | blob | history
sci-mathematics/isabelle/isabelle-2013.2.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.