Go to file
Jerry James 5e32b7be02 New upstream release. 2018-08-08 20:29:40 -06:00
.gitignore New upstream release. License change to MIT. Add python3 subpackage. 2018-06-12 20:45:10 -06:00
cryptominisat-cmake.patch New upstream release. 2018-08-08 20:29:40 -06:00
cryptominisat.spec New upstream release. 2018-08-08 20:29:40 -06:00
sources New upstream release. 2018-08-08 20:29:40 -06:00