../ README 24-Mar-2024 18:29 145 doinst.sh 24-Mar-2024 18:29 129 menhir.SlackBuild 24-Mar-2024 18:29 3521 menhir.info 24-Mar-2024 18:29 354 slack-desc 24-Mar-2024 18:29 804