../ README 16-Jan-2022 10:36 292 mcrl2.SlackBuild 16-Jan-2022 10:36 3197 mcrl2.info 16-Jan-2022 10:36 290 slack-desc 16-Jan-2022 10:36 925