Index of /pub/slackbuilds.org/slackbuilds/15.0/development/menhir/

../
README                                             11-Mar-2022 05:34                 145
doinst.sh                                          02-Jul-2016 00:48                 129
menhir.SlackBuild                                  11-Mar-2022 05:34                3521
menhir.info                                        11-Mar-2022 05:34                 354
slack-desc                                         02-Jul-2016 00:48                 804