Index of /slackbuilds.org/14.1/development/mcrl2

	Name	Last modified	Size	Description
	Parent Directory		-
	README	2013-11-26 01:57	293
	mcrl2.SlackBuild	2015-09-11 18:15	3.1K
	mcrl2.info	2014-12-31 04:28	282
	slack-desc	2013-11-26 01:57	925

Current bandwidth utilization 1.48 Mbit/s