rpms
/
cryptominisat
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
63 Commits 27 Branches 0 Tags 104 KiB
Diff 100%
Go to file
Jonathan Wakely 09b6d81a15 Rebuilt for Boost 1.76 2021-08-06 22:52:11 +01:00
.gitignore New upstream release. License change to MIT. Add python3 subpackage. 2018-06-12 20:45:10 -06:00
cryptominisat-cmake.patch Version 5.8.0. 2020-11-27 08:20:25 -07:00
cryptominisat.spec Rebuilt for Boost 1.76 2021-08-06 22:52:11 +01:00
sources Version 5.8.0. 2020-11-27 08:20:25 -07:00