Welcome to ftp.vim.org, Hosted by ftp.nluug.nl Current directory: /ftp/os/Linux/distr/salix/i486/extra-15.0/source/development/maude/

Maude is a high-performance reflective language and system 
supporting both equational and rewriting logic specification 
and programming for a wide range of applications. Maude has 
been influenced in important ways by the OBJ3 language, which 
can be regarded as an equational logic sublanguage. Besides 
supporting equational specification and programming, Maude 
also supports rewriting logic computation.

Because Maude needs some help for finding its own files,
you may:
 - logout and login again, then run maude
 
 - run maude with explicit reference to its files' location
   $ MAUDE_LIB=/usr/share/maude/ maude
 
 - export the variable to the environment, then run maude
   $ export MAUDE_LIB=/usr/share/maude/
   $ maude

If you'd like to run maude's built-in test suite, export CHECK=yes
in the script's environment.

 Name                                                          Last modified      Size  
 Parent Directory                                                                   -   
 32-bit-fixes.patch                                            08-Jun-2022 13:08  950   
 Full-Maude-3.1.zip                                            08-Jun-2022 13:08  157K  
 Maude-3.1.tar.gz                                              08-Jun-2022 13:08  2.2M  
 README                                                        08-Jun-2022 13:08  828   
 doinst.sh                                                     08-Jun-2022 13:08  382   
 maude.SlackBuild                                              26-Mar-2022 03:02  3.8K  
 maude.info                                                    08-Jun-2022 13:08  450   
 slack-desc                                                    08-Jun-2022 13:08  842   

NLUUG - Open Systems. Open Standards
Become a member and get discounts on conferences and more, see the NLUUG website!