| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/prover9: Fix breakage due to dropping make target, #497530; R... |   Justin Lecher | 2014-01-08 | 1 | -16/+16 |
| * | sci-mathematics/prover9: Punt base.eclass; bump to EAPI=5; drop unnecessary (... | Justin Lecher | 2014-01-06 | 1 | -8/+18 |
| * | fix bug 466776 - typo in email address |   Mark Wright | 2013-05-24 | 1 | -10/+10 |
| * | Note I am the maintainer in metadata.xml. | Mark Wright | 2012-01-30 | 1 | -5/+5 |
| * | Compress the mirrored patch, thanks to xarthisius for reviewing | Mark Wright | 2012-01-08 | 1 | -6/+6 |
| * | Add prover9 mace4 ebuild, thanks Thomas Veith, fixes #49205. | Mark Wright | 2012-01-08 | 1 | -0/+16 |
GitWeb