Name Last modified Size Description Parent Directory - slack-desc 2018-06-14 09:00 925 mcrl2.info 2018-06-14 09:00 290 mcrl2.SlackBuild 2018-06-14 09:00 3.1K README 2020-10-16 21:49 292