Name Last modified Size Description Parent Directory - README 2018-06-14 15:00 730 doinst.sh 2018-06-14 15:00 382 maude.SlackBuild 2018-06-14 15:00 3.4K maude.info 2018-06-14 15:00 456 slack-desc 2018-06-14 15:00 842