rpms
/
stp
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
100 Commits 33 Branches 13 Tags 160 KiB
Commit Graph

17 Commits

Author SHA1 Message Date
Jerry James 6b2e3b5a1a New upstream version. 2019-04-17 18:56:37 -06:00
Jerry James baa8e4ef1f Update to recent git snapshot. Drop the python2 subpackage (bz 1634557). 2018-11-22 15:03:28 -07:00
Jerry James a1a98f0594 Update to recent git snapshot. Add a python3 subpackage. 2018-06-12 21:02:15 -06: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
Jerry James 826d0abd7f Update to recent git snapshot. 2015-09-04 10:14:38 -06:00
Jerry James 31e34f55e7 Update to recent git snapshot. 
Drop upstreamed -undefined patch.
 2014-06-18 17:27:24 -06:00
Jerry James 75cefd8104 Update to recent git snapshot. 2014-04-29 15:22:26 -06:00
Jerry James 5a3a024fae Update to recent git snapshot, now hosted on github. 
Build now uses cmake.
Tests now need boolector, which has license problems.  Disable %%check for
now unless we can find something useful to do.
 2014-03-19 17:09:33 -06:00
Jerry James 4ff1e2a894 Update to recent subversion snapshot. 
Reenable the check script.
 2013-03-11 16:07:41 -06:00
Jerry James c9c580d386 Update to recent subversion snapshot. 2013-02-11 17:00:41 -07:00
Jerry James ac0aca04f4 Update to recent subversion snapshot. 2012-10-17 16:31:14 -06:00
Jerry James 5f844b447d Update to recent subversion snapshot. 
Do not build bundled cryptominisat.
 2012-08-10 16:37:03 -06:00
Jerry James 1af8b5f18c Update to recent subversion snapshot. 2012-01-10 16:20:28 -07:00
Jerry James 98f8a24ce8 Update to recent subversion snapshot. 
Minor spec file cleanups.
 2011-12-13 13:26:56 -07:00
David A. Wheeler bfd0d8795d - Fixed comments by Marcela Maslanova, mmaslano (at) redhat*DOT*com 
2009-02-26
- Moved definitions of subpackages to "top" of spec before prep.
- moved "check" before "files".
- Use macro for release version 0.1-11-18-2008 for future updates.
- No doc for -devel package; it's already in the base.
- CPPFLAGS now includes optflags.
Mon Feb 23 2009 David A. Wheeler <dwheeler at, dwheeler.com> 0.1-1
- Initial packaging
 2009-03-06 05:21:14 +00:00
Kevin Fenzi 15a6c08337 Setup of module stp 2009-03-05 20:16:24 +00:00