../ 32-bit-fixes.patch 24-Mar-2024 18:29 950 README 24-Mar-2024 18:29 828 doinst.sh 24-Mar-2024 18:29 382 maude.SlackBuild 24-Mar-2024 18:29 3931 maude.info 24-Mar-2024 18:29 450 slack-desc 24-Mar-2024 18:29 842