| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Note I am the maintainer in metadata.xml. |   Mark Wright | 2012-01-30 | 1 | -5/+5 |
| | | | | | (Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 618E971F) | ||||
| * | Note I am the maintainer in metadata.xml. | Mark Wright | 2012-01-30 | 2 | -1/+7 |
| | | | | | (Portage version: 2.1.10.44/cvs/Linux x86_64) | ||||
| * | Thanks to xarthisius for reviewing, move S higher in file and fix missing || ↵ | Mark Wright | 2012-01-08 | 1 | -5/+5 |
| | | | | | | | on cd (Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 618E971F) | ||||
| * | Thanks to xarthisius for reviewing, move S higher in file and fix missing || ↵ | Mark Wright | 2012-01-08 | 2 | -5/+9 |
| | | | | | | | on cd (Portage version: 2.1.10.44/cvs/Linux x86_64) | ||||
| * | New p9m4 prover9 mace4 gui ebuild by me fixes #398021 | Mark Wright | 2012-01-08 | 1 | -0/+18 |
| | | | | | (Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 618E971F) | ||||
| * | New p9m4 prover9 mace4 gui ebuild by me fixes #398021 | Mark Wright | 2012-01-08 | 6 | -0/+280 |
| (Portage version: 2.1.10.44/cvs/Linux x86_64) | |||||
GitWeb