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

../
32-bit-fixes.patch                                 08-Jun-2022 11:08     950
Full-Maude-3.1.zip                                 08-Jun-2022 11:08    157K
Maude-3.1.tar.gz                                   08-Jun-2022 11:08      2M
README                                             08-Jun-2022 11:08     828
doinst.sh                                          08-Jun-2022 11:08     382
maude.SlackBuild                                   26-Mar-2022 02:02    3931
maude.info                                         08-Jun-2022 11:08     450
slack-desc                                         08-Jun-2022 11:08     842