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

../
README                                             22-Oct-2011 13:11                 293
mcrl2.SlackBuild                                   22-Oct-2011 13:11                2257
mcrl2.info                                         22-Oct-2011 13:11                 300
slack-desc                                         22-Oct-2011 13:11                 895