diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-01-08 13:57:40 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-01-08 13:57:40 +0000 |
| commit | 71945f20ede8acf3b96365b5abf048cdcb7ee860 (patch) | |
| tree | 06ea039a0b3a869b2e3eff9dcdbe2211bcc7cbc5 /dev-tcltk/tcl-gtk | |
| parent | Add prover9 mace4 ebuild, thanks Thomas Veith, fixes #49205. (diff) | |
| download | gentoo-2-71945f20ede8acf3b96365b5abf048cdcb7ee860.tar.gz gentoo-2-71945f20ede8acf3b96365b5abf048cdcb7ee860.tar.bz2 gentoo-2-71945f20ede8acf3b96365b5abf048cdcb7ee860.zip | |
Add prover9 mace4 ebuild, thanks Thomas Veith, fixes #49205.
(Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Diffstat (limited to 'dev-tcltk/tcl-gtk')
0 files changed, 0 insertions, 0 deletions