Index of /pub/01_repos/slackbuilds/development/maude/

../
32-bit-fixes.patch                                 19-Jun-2023 20:03                 950
README                                             19-Jun-2023 20:03                 828
doinst.sh                                          19-Jun-2023 20:03                 382
maude.SlackBuild                                   19-Jun-2023 20:03                3931
maude.info                                         19-Jun-2023 20:03                 450
slack-desc                                         19-Jun-2023 20:03                 842