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

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