../ README 19-Jun-2023 20:03 532 cryptominisat.SlackBuild 19-Jun-2023 20:03 3541 cryptominisat.info 19-Jun-2023 20:03 336 slack-desc 19-Jun-2023 20:03 1192