../ README 16-Jan-2022 10:36 145 doinst.sh 16-Jan-2022 10:36 129 menhir.SlackBuild 16-Jan-2022 10:36 3420 menhir.info 16-Jan-2022 10:36 341 slack-desc 16-Jan-2022 10:36 804