Index of /slackbuilds/14.2/academic/cryptominisat

      Name                        Last modified      Size  Description
      Parent Directory                                 -   
      cryptominisat.SlackBuild    2020-05-09 20:41  3.1K  
      slack-desc                  2018-09-15 13:48  1.2K  
      README                      2018-09-15 13:48  532   
      cryptominisat.info          2020-05-09 20:41  333