Index of /pub/slackbuilds.org/slackbuilds/14.0/development/mcrl2/

../
README                                             22-Oct-2011 13:11                 293
mcrl2.SlackBuild                                   02-Oct-2012 17:59                2257
mcrl2.info                                         29-Sep-2012 04:34                 290
slack-desc                                         22-Oct-2011 13:11                 895