Index of /hourly.0/repo/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              161211
Maude-3.1.tar.gz                                   08-Jun-2022 11:08             2335693
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