rpms
/
stp
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
87 Commits 33 Branches 13 Tags 160 KiB
Diff 100%
Go to file
Jerry James 10727056b6 Add -private-libs patch to fix bz 1981466. 2021-07-14 09:17:18 -06:00
.gitignore New upstream version. 2019-04-17 18:56:37 -06:00
sources New upstream version. 2019-04-17 18:56:37 -06:00
stp-format.patch Update to recent git snapshot. Build with cryptominisat5 support. 2017-11-25 14:46:18 -07:00
stp-private-libs.patch Add -private-libs patch to fix bz 1981466. 2021-07-14 09:17:18 -06:00
stp.spec Add -private-libs patch to fix bz 1981466. 2021-07-14 09:17:18 -06:00