| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Note I am the maintainer in metadata.xml. |   Mark Wright | 2012-01-30 | 3 | -6/+12 |
| * | Compress the mirrored patch, thanks to xarthisius for reviewing | Mark Wright | 2012-01-08 | 3 | -10/+13 |
| * | Add prover9 mace4 ebuild, thanks Thomas Veith, fixes #49205. | Mark Wright | 2012-01-08 | 5 | -0/+616 |
GitWeb