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