| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/nusmv: Drop unnessecary die |   Justin Lecher | 2012-04-25 | 1 | -3/+3 |
| * | remove ptex dep as it is going away |   Alexis Ballier | 2011-10-05 | 1 | -3/+2 |
| * | Version bump. |   Paweł Hajdan | 2011-01-01 | 1 | -0/+133 |
GitWeb