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