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