| 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 | -4/+3 |
| * | Remove forced -mcpu=pentium4 from cudd's Makefile. This fixes bug #327425 rep... |   Paweł Hajdan | 2010-07-13 | 1 | -1/+8 |
| * | Version bump, bug #311903. | Paweł Hajdan | 2010-06-22 | 1 | -0/+127 |
GitWeb