../ README 20-Apr-2024 15:02 532 cryptominisat.SlackBuild 20-Apr-2024 15:02 3585 cryptominisat.info 20-Apr-2024 15:02 372 slack-desc 20-Apr-2024 15:02 1192