../ README 03-Jun-2022 15:29 532 cryptominisat-5.7.1.tar.gz 03-Jun-2022 22:51 882748 cryptominisat.SlackBuild 11-Mar-2022 05:34 3470 cryptominisat.info 03-Jun-2022 15:29 333 slack-desc 03-Jun-2022 15:29 1192