../ README 16-Jan-2022 10:36 731 doinst.sh 16-Jan-2022 10:36 382 maude.SlackBuild 16-Jan-2022 10:36 3464 maude.info 16-Jan-2022 10:36 456 slack-desc 16-Jan-2022 10:36 842