rpms
/
cryptominisat
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
37 Commits 27 Branches 0 Tags 104 KiB
Diff 100%
Go to file
Jerry James 151f12ebfb New upstream release. 2018-08-08 20:13:47 -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:13:47 -06:00
cryptominisat.spec New upstream release. 2018-08-08 20:13:47 -06:00
sources New upstream release. 2018-08-08 20:13:47 -06:00