../ README 20-Jul-2024 04:01 145 doinst.sh 20-Jul-2024 04:01 129 menhir.SlackBuild 20-Jul-2024 04:01 3521 menhir.info 20-Jul-2024 04:01 354 slack-desc 20-Jul-2024 04:01 804