../ README 07-Jun-2022 09:33 145 doinst.sh 07-Jun-2022 09:33 129 menhir-20220210.tar.bz2 08-Jun-2022 11:19 1160357 menhir.SlackBuild 11-Mar-2022 05:34 3521 menhir.info 07-Jun-2022 09:33 354 slack-desc 07-Jun-2022 09:33 804