Index of /pub/01_repos/slackbuilds/development/menhir/

../
README                                             19-Jun-2023 20:03                 145
doinst.sh                                          19-Jun-2023 20:03                 129
menhir.SlackBuild                                  19-Jun-2023 20:03                3521
menhir.info                                        19-Jun-2023 20:03                 354
slack-desc                                         19-Jun-2023 20:03                 804