../ README 31-Aug-2024 06:09 145 doinst.sh 31-Aug-2024 06:09 129 menhir.SlackBuild 31-Aug-2024 06:09 3521 menhir.info 31-Aug-2024 06:09 354 slack-desc 31-Aug-2024 06:09 804