diff options
| author |   Mike Frysinger <vapier@gentoo.org> | 2012-01-30 06:48:06 +0000 |
|---|---|---|
| committer | Mike Frysinger <vapier@gentoo.org> | 2012-01-30 06:48:06 +0000 |
| commit | 27fd53096173f8bebd84dd8fc156e502ed2fb0cc (patch) | |
| tree | 067fb6b8af3da01fa2847f5dffe087f654a7b2e2 /sci-mathematics/isabelle | |
| parent | Add note about bug 373397 so it doesn't get forgotten (diff) | |
| download | gentoo-2-27fd53096173f8bebd84dd8fc156e502ed2fb0cc.tar.gz gentoo-2-27fd53096173f8bebd84dd8fc156e502ed2fb0cc.tar.bz2 gentoo-2-27fd53096173f8bebd84dd8fc156e502ed2fb0cc.zip | |
Version bump.
(Portage version: 2.2.0_alpha84/cvs/Linux x86_64, signed Manifest commit with key FB7C4156)
Diffstat (limited to 'sci-mathematics/isabelle')
0 files changed, 0 insertions, 0 deletions