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