Name Last modified Size Description Parent Directory - maude.SlackBuild 2018-06-14 09:00 3.4K slack-desc 2018-06-14 09:00 842 README 2020-10-16 21:49 731 maude.info 2018-06-14 09:00 456 doinst.sh 2018-06-14 09:00 382