rpms
/
stp
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
60 Commits 33 Branches 13 Tags 160 KiB
Diff 100%
Go to file
Jerry James a1a98f0594 Update to recent git snapshot. Add a python3 subpackage. 2018-06-12 21:02:15 -06:00
.gitignore Update to recent git snapshot. Add a python3 subpackage. 2018-06-12 21:02:15 -06:00
sources Update to recent git snapshot. Add a python3 subpackage. 2018-06-12 21:02:15 -06:00
stp-format.patch Update to recent git snapshot. Build with cryptominisat5 support. 2017-11-25 14:46:18 -07:00
stp.spec Update to recent git snapshot. Add a python3 subpackage. 2018-06-12 21:02:15 -06:00