| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Remove py2app, fixes bug 423555 - sci-mathematics/p9m4-05: tries to use netwo... |   Mark Wright | 2012-07-02 | 1 | -4/+9 |
| * | New p9m4 prover9 mace4 gui ebuild by me fixes #398021 | Mark Wright | 2012-01-08 | 3 | -0/+148 |
GitWeb