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