Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | development/mcrl2: Added (micro Common Representation Language 2) | Jockey S. Kyd | 2011-10-21 | 4 | -0/+124 |
Signed-off-by: Niels Horn <niels.horn@slackbuilds.org> |
index : slackbuilds | ||
Official Git Repository | slackbuilds-users@slackbuilds.org |
summaryrefslogtreecommitdiffstats |
Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | development/mcrl2: Added (micro Common Representation Language 2) | Jockey S. Kyd | 2011-10-21 | 4 | -0/+124 |
Signed-off-by: Niels Horn <niels.horn@slackbuilds.org> |