Index of /sbo/14.2/development/menhir/


../
README                                             17-Oct-2020 02:49                 145
doinst.sh                                          02-Jul-2016 00:48                 129
menhir.SlackBuild                                  14-Jun-2018 14:00                3420
menhir.info                                        14-Jun-2018 14:00                 341
slack-desc                                         02-Jul-2016 00:48                 804