Clone of https://src.fedoraproject.org/rpms/stp

Jerry James c799a0de2c Specify the directory with %cmake.		2019-02-09 19:17:18 -07: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. Drop the python2 subpackage (bz 1634557).	2018-11-22 15:03:28 -07:00
stp-format.patch	Update to recent git snapshot. Build with cryptominisat5 support.	2017-11-25 14:46:18 -07:00
stp.spec	Specify the directory with %cmake.	2019-02-09 19:17:18 -07:00