Index of /slackbuilds.org/14.1/development/mcrl2
Name
Last modified
Size
Description
Parent Directory
-
slack-desc
2013-11-26 01:57
925
mcrl2.info
2014-12-31 04:28
282
mcrl2.SlackBuild
2015-09-11 18:15
3.1K
README
2013-11-26 01:57
293
Current bandwidth utilization 8.60 Mbit/s