Index of /i486/extra-15.0/source/development/maude/

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