| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | development/spin: Added (model checker)...Signed-off-by: Niels Horn <niels.horn@slackbuilds.org> |   Jockey S. Kyd | 2011-09-28 | 1 | -0/+4 |
 |
index : slackbuilds | |
| Mirror of slackbuilds.org | alien@slackware.com |
| summaryrefslogtreecommitdiffstats |