%FILES%
etc/
etc/profile.d/
etc/profile.d/maude.sh
usr/
usr/bin/
usr/bin/maude
usr/share/
usr/share/maude/
usr/share/maude/file.maude
usr/share/maude/full-maude.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/prng.maude
usr/share/maude/smt.maude
usr/share/maude/socket.maude
usr/share/maude/term-order.maude
usr/share/maude/time.maude
