../ 32-bit-fixes.patch 20-Jul-2024 04:01 950 README 20-Jul-2024 04:01 828 doinst.sh 20-Jul-2024 04:01 382 maude.SlackBuild 20-Jul-2024 04:01 3931 maude.info 20-Jul-2024 04:01 450 slack-desc 20-Jul-2024 04:01 842