This website requires JavaScript.
Explore
Help
Sign In
rpms
/
stp
Watch
2
Star
0
Fork
You've already forked stp
0
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
100
Commits
33
Branches
13
Tags
160
KiB
rawhide
Commit Graph
3 Commits
Author
SHA1
Message
Date
Jerry James
f9405438e5
Add distutils patch.
...
- Use more specific globs in %%files. - Convert License tags to SPDX.
2022-12-14 14:37:03 -07:00
Jerry James
fd826ecc72
Update to recent git snapshot. Build with cryptominisat5 support.
2017-11-25 14:46:18 -07:00
Jerry James
839df2385b
Update to recent git snapshot.
2016-02-20 20:17:01 -07:00