PACKAGE NAME: maude-3.1-x86_64-1salix15.0.txz PACKAGE LOCATION: ./salix/development PACKAGE SIZE (compressed): 1064 K PACKAGE SIZE (uncompressed): 4256 K PACKAGE REQUIRED: aaa_libraries|gcc,aaa_libraries|gcc-g++,aaa_libraries|gmp,aaa_libraries|libsigsegv,aaa_libraries|ncurses,buddy,libtecla PACKAGE CONFLICTS: PACKAGE SUGGESTS: PACKAGE DESCRIPTION: maude: maude (high-performance reflective language) maude: maude: Maude is a high-performance reflective language and system maude: supporting both equational and rewriting logic specification maude: and programming for a wide range of applications. maude: maude: http://maude.cs.illinois.edu/w/index.php?title=The_Maude_System maude: maude: maude: maude: