Index of /pub/slackbuilds.org/slackbuilds/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                                         05-Sep-2026 02:46                 450
slack-desc                                         14-Jun-2018 14:00                 842