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

Icon  Name                                   Last modified      Size  Description
[PARENTDIR] Parent Directory                                            -   
[   ] slack-desc                             2016-07-01 19:48  804   
[   ] menhir.info                            2022-03-10 23:34  354   
[   ] menhir.SlackBuild                      2022-03-10 23:34  3.4K  
[TXT] doinst.sh                              2016-07-01 19:48  129   
[   ] README                                 2022-03-10 23:34  145