| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | testing/spin: upgrade to 6.4.9 | Leo | 2019-06-30 | 1 | -20/+0 |
| | | |||||
| * | testing/spin: new aport | Daniel Sabogal | 2016-09-21 | 1 | -0/+20 |
| http://spinroot.com/ Tool for formal verification of distributed software systems | |||||
 |
index : aports | |
| Main aports tree | gitolite |
| aboutsummaryrefslogtreecommitdiffstats |