diff options
| author | Mark Wright <gienah@gentoo.org> | 2016-02-16 22:18:46 +1100 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2016-02-16 22:18:46 +1100 |
| commit | e03efabf52fd874c48d7e3bfdc6a436a044bd1a3 (patch) | |
| tree | 36b0ecf29fd9c65f5655a44e9834b27da64ef777 /dev-python/bytecodeassembler | |
| parent | e2615efca3ad37b03e029e1afc60c456cd1e8ced (diff) | |
| download | gentoo-e03efabf52fd874c48d7e3bfdc6a436a044bd1a3.tar.gz gentoo-e03efabf52fd874c48d7e3bfdc6a436a044bd1a3.tar.bz2 gentoo-e03efabf52fd874c48d7e3bfdc6a436a044bd1a3.zip | |
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
Diffstat (limited to 'dev-python/bytecodeassembler')
0 files changed, 0 insertions, 0 deletions