maude 2.7.1-3 File List

Package has 11 files and 6 directories.

Back to Package

  • etc/
  • etc/profile.d/
  • etc/profile.d/maude.sh
  • usr/
  • usr/bin/
  • usr/bin/maude
  • usr/share/
  • usr/share/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/smt.maude
  • usr/share/maude/socket.maude
  • usr/share/maude/term-order.maude