projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e2615ef) | patch
sci-mathematics/isabelle: Bump to 2015, check diskspace and memory.
authorMark Wright <gienah@gentoo.org>
Tue, 16 Feb 2016 11:18:46 +0000 (22:18 +1100)
committerMark Wright <gienah@gentoo.org>
Tue, 16 Feb 2016 11:18:46 +0000 (22:18 +1100)
commite03efabf52fd874c48d7e3bfdc6a436a044bd1a3
tree36b0ecf29fd9c65f5655a44e9834b27da64ef777tree | snapshot
parente2615efca3ad37b03e029e1afc60c456cd1e8cedcommit | diff
sci-mathematics/isabelle: Bump to 2015, check diskspace and memory.

Thanks to Toralf F?rster for reporting the need to check diskspace, and Jonas Jelten for requesting the version bump.
Gentoo-Bugs: 548864 562864

Package-Manager: portage-2.2.27
sci-mathematics/isabelle/Manifest diff | blob | history
sci-mathematics/isabelle/files/isabelle-2015-classpath.patch [new file with mode: 0644] blob
sci-mathematics/isabelle/files/isabelle-2015-jfreechart-classpath.patch [new file with mode: 0644] blob
sci-mathematics/isabelle/isabelle-2015.ebuild [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.