Name Last modified Size Description Parent Directory - README 2018-09-15 19:48 532 cryptominisat.SlackBuild 2020-05-10 02:41 3.1K cryptominisat.info 2020-05-10 02:41 333 slack-desc 2018-09-15 19:48 1.2K