/development/maude/
../
32-bit-fixes.patch
README
doinst.sh
maude.SlackBuild
maude.info
slack-desc