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