Name Last modified Size Description Parent Directory - mcrl2.SlackBuild 2012-10-02 12:59 2.2K slack-desc 2011-10-22 08:11 895 README 2011-10-22 08:11 293 mcrl2.info 2012-09-28 23:34 290