在 sid 发行版中 sh4 硬件架构下的 maude 软件包文件清单

/usr/bin/maude
/usr/share/doc/maude/changelog.Debian.gz
/usr/share/doc/maude/changelog.Debian.sh4.gz
/usr/share/doc/maude/changelog.gz
/usr/share/doc/maude/copyright
/usr/share/man/man1/maude.1.gz
/usr/share/maude/linear.maude
/usr/share/maude/machine-int.maude
/usr/share/maude/metaInterpreter.maude
/usr/share/maude/model-checker.maude
/usr/share/maude/prelude.maude
/usr/share/maude/socket.maude
/usr/share/maude/term-order.maude