summaryrefslogtreecommitdiffstats
path: root/development/spin/spin.SlackBuild (follow)
Commit message (Expand)AuthorAgeFilesLines
* development/spin: Force using -j1...Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org> Willy Sudiarto Raharjo2013-11-161-6/+6
* development/spin: Added (model checker)...Signed-off-by: Niels Horn <niels.horn@slackbuilds.org> Jockey S. Kyd2011-09-281-0/+80