Index of /x86_64/extra-15.0/source/development/menhir/

../
README                                             07-Jun-2022 09:33                 145
doinst.sh                                          07-Jun-2022 09:33                 129
menhir-20220210.tar.bz2                            08-Jun-2022 11:19             1160357
menhir.SlackBuild                                  11-Mar-2022 05:34                3521
menhir.info                                        07-Jun-2022 09:33                 354
slack-desc                                         07-Jun-2022 09:33                 804