../ 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