Index of /sbosrcarch/by-name/academic/cryptominisat

            _ ,,,,              _
       __    |-|-:__    ___.   |  ,  __    __  __    . ,.  ___
      (__`   |''''__)  /   `   |.(    |    |   __)    |   /___)
  |   .__)  _|_  (__|_ '.__.  _|  \_  \_/\_/  (__|_  _|_  '.__.
  |
  |__________________________________________________  | |  |_/
                                                       \_/  | \

 Name                                                     Last modified      Size  Description
 Parent Directory                                                              -    
 cadiback-47a6d821085ef8cb033241659824beafeb798cff.tar.gz 2026-09-26 04:34   24K   
 cadical-818c9562f114b315a9246ced943b66b60b38e8fb.tar.gz  2026-09-26 04:34  870K   
 cryptominisat-release-v5.15.0.tar.gz                     2026-09-26 04:34  1.0M

Apache/2 Server at raw.slackware.uk Port 443