bookwormamd64 アーキテクチャ用 maude パッケージのファイル一覧

/usr/bin/maude
/usr/share/doc/maude/changelog.Debian.gz
/usr/share/doc/maude/changelog.gz
/usr/share/doc/maude/copyright
/usr/share/man/man1/maude.1.gz
/usr/share/maude/file.maude
/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/smt.maude
/usr/share/maude/socket.maude
/usr/share/maude/term-order.maude
/usr/share/maude/time.maude