Index of /sbo/15.0/development/maude/

../
32-bit-fixes.patch                                 26-Mar-2022 02:02                 950
README                                             26-Mar-2022 02:02                 828
doinst.sh                                          14-Jun-2018 14:00                 382
maude.SlackBuild                                   26-Mar-2022 02:02                3931
maude.info                                         11-Mar-2022 05:34                 450
slack-desc                                         14-Jun-2018 14:00                 842