Go to file
2018-12-24 14:47:58 -07: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-12-24 14:47:58 -07:00
cryptominisat.spec New upstream release. 2018-12-24 14:47:58 -07:00
sources New upstream release. 2018-12-24 14:47:58 -07:00