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

75 Commits

Author SHA1 Message Date
Miro Hrončok ec1f00c350 Rebuilt for Python 3.9 2020-05-26 03:51:01 +02:00
Jerry James 78f53c2ad8 Rebuild for cryptominisat 5.7.0. 2020-04-25 17:43:29 -06:00
Fedora Release Engineering 729c1ca131 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2020-01-31 00:24:31 +00:00
Jerry James 2dec7c7d22 Drop old obsoletes. 2020-01-24 15:22:05 -07:00
Miro Hrončok 855e3b3570 Rebuilt for Python 3.8.0rc1 (#1748018) 2019-10-03 14:39:05 +02:00
Miro Hrončok 35f85f1ec6 Rebuilt for Python 3.8 2019-08-19 11:06:24 +02:00
Jerry James 6821f5a877 Fix the help2man invocation. 2019-07-31 19:40:34 -06:00
Fedora Release Engineering c8eb57b4af - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2019-07-27 00:18:01 +00:00
Jerry James 06b1f0bab2 Disable rpath. 2019-07-20 11:54:13 -06:00
Jerry James 6b2e3b5a1a New upstream version. 2019-04-17 18:56:37 -06:00
Jerry James c799a0de2c Specify the directory with %cmake. 2019-02-09 19:17:18 -07:00
Fedora Release Engineering 2d9653a14e - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2019-02-03 08:43:00 +00:00
Jerry James baa8e4ef1f Update to recent git snapshot. Drop the python2 subpackage (bz 1634557). 2018-11-22 15:03:28 -07:00
Fedora Release Engineering 258e5ceb36 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2018-07-14 06:48:17 +00:00
Miro Hrončok 771b0cfaa5 Rebuilt for Python 3.7 2018-06-19 11:27:57 +02:00
Jerry James a1a98f0594 Update to recent git snapshot. Add a python3 subpackage. 2018-06-12 21:02:15 -06:00
Fedora Release Engineering c2faa84ff2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2018-02-09 17:47:24 +00:00
Jonathan Wakely d95504edc4 Rebuilt for Boost 1.66 2018-01-23 21:51:57 +00:00
Jerry James fd826ecc72 Update to recent git snapshot. Build with cryptominisat5 support. 2017-11-25 14:46:18 -07:00
Zbigniew Jędrzejewski-Szmek fd15cbd0c4 Move %python_provide after BuildArch 2017-08-19 17:19:43 -04:00
Zbigniew Jędrzejewski-Szmek 96c17282ab Python 2 binary package renamed to python2-stp 2017-08-19 09:44:11 -04:00
Fedora Release Engineering f74d69cd91 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild 2017-08-03 08:53:56 +00:00
Fedora Release Engineering cb99a5f9ba - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild 2017-07-27 19:23:56 +00:00
Jonathan Wakely 4cadff5580 Rebuilt for Boost 1.64 2017-07-18 16:59:52 +01:00
Kalev Lember e3fbf216ee Rebuilt for Boost 1.63 2017-02-08 14:38:27 +01:00
Jerry James da213f6ef6 Fix cmake files (bz 1414167). 2017-01-29 11:12:47 -07:00
Fedora Release Engineering 8448a2b100 - https://fedoraproject.org/wiki/Changes/Automatic_Provides_for_Python_RPM_Packages 2016-07-19 12:42:49 +00:00
Jerry James 521711a8f6 Rebuild for minisat 2.2.1. 2016-03-19 18:25:05 -06:00
Jerry James 839df2385b Update to recent git snapshot. 2016-02-20 20:17:01 -07:00
Fedora Release Engineering 6d10a40e68 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild 2016-02-05 00:44:29 +00:00
Jonathan Wakely 58e3760393 Rebuilt for Boost 1.60 2016-01-19 00:48:06 +00:00
Jerry James 826d0abd7f Update to recent git snapshot. 2015-09-04 10:14:38 -06:00
Dennis Gilmore 10c7533b48 - Rebuilt for https://fedoraproject.org/wiki/Changes/F23Boost159 2015-07-29 13:23:34 -05:00
David Tardon 27bebffa03 rebuild for Boost 1.58 2015-07-22 19:37:56 +02:00
Dennis Gilmore c3c360bb29 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild 2015-06-19 01:50:24 +00:00
Kalev Lember c1a4c0099a Rebuilt for GCC 5 C++11 ABI change 2015-05-02 18:00:49 +02:00
Jerry James 05c236152f Fix changelog date. 2015-02-21 20:14:33 -07:00
Jerry James 988a4f8ac7 Use license macro. 2015-02-21 20:13:24 -07:00
Petr Machata e20e71d4e7 Rebuild for boost 1.57.0 2015-01-27 03:28:22 +01:00
Peter Robinson e2f3a098b2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild 2014-08-18 03:53:50 +00:00
Jerry James cf5e266a7a Fix build failure on systems that do not define %{__isa_bits}. 
Also fix mixed use of spaces and tabs.  Thank you, rpmlint.
 2014-06-19 10:23:17 -06:00
Jerry James 31e34f55e7 Update to recent git snapshot. 
Drop upstreamed -undefined patch.
 2014-06-18 17:27:24 -06:00
Dennis Gilmore 5094447754 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild 2014-06-08 02:19:35 -05:00
Petr Machata c8ee09bb29 Rebuild for boost 1.55.0 2014-05-23 03:23:14 +02: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 e611f6d776 Really rebuild for cryptominisat 2.9.8. 2013-10-09 20:05:14 -06:00
Jerry James 0dad78eb89 On non-x86 architectures, the memory leak tests tend to fail, because 
valgrind finds problems in glibc itself.  Also, the non-valgrind tests
tend to fail because they time out.  Until valgrind works and I can
figure out how to adapt the timeout estimates for such architectures,
skip these tests on such architectures.
 2013-10-09 15:40:09 -06:00
Jerry James 39c79f36d6 Take 2 on the attempt to disable valgrind tests on non-x86. 2013-10-08 20:23:41 -06:00
Jerry James 15c323b547 Disable valgrind tests for non-x86 (see bz 1012698). 2013-10-08 18:55:59 -06:00