../ README 27-Apr-2024 07:19 532 cryptominisat.SlackBuild 27-Apr-2024 07:19 3585 cryptominisat.info 27-Apr-2024 07:19 372 slack-desc 27-Apr-2024 07:19 1192