Name Last modified Size Description Parent Directory - menhir.SlackBuild 2018-06-14 09:00 3.3K slack-desc 2016-07-01 19:48 804 menhir.info 2018-06-14 09:00 341 README 2020-10-16 21:49 145 doinst.sh 2016-07-01 19:48 129