ArchLinux - Maude

1. Download the latest version of maude:
   http://maude.cs.illinois.edu/w/index.php?title=Maude_download_and_installation
2. Export the *.zip by typing unzip ~/Downloads/Maude*
3. Go into the exported directory.
4. Run the file maude.linux64

Troubleshooting:

• Programm does not start and does not find libtinfo.so.5. Note we're referencing a lib which might has a similar name. Show yourself all similar libs with ls /lib64 | grep libncurs.
  cd /lib64
sudo ln -s libncursesw.so.6.0 libtinfo.so.5