stp-devel-0.1-23.20140619git.44de620.fc20$>+PkD"/e>8X?Hd  , k<@O^b q    K Tp0(89@: G|HIXY\] ^bdefltuvw x(DCstp-devel0.123.20140619git.44de620.fc20Development files for STP constraint solver/decision procedureDevelopment files for the STP (Simple Theorem Prover), a constraint solver (also referred to as a decision procedure or automated prover). Provides a static library.Sbuildvm-02.phx2.fedoraproject.orgf^Fedora ProjectFedora ProjectMITFedora ProjectApplications/Engineeringhttp://stp.github.io/stp/linuxi686A6A AA큤A큤SSSSSOSOSO809f33ea116f17a8ac07765dc6997449c57ddef22d7888428d678efa0a4f3a5028c0aa582fed804354bb676e1e37ed2d9108d13ef10043936852a9a7fe3d95da819b826f1a2db31032ac6c73389d7ef55186d9eff95ff75a0a010064bbf5268e768335c4020bad8f58e1167f0ca505651bbc128318302c985b36753585676072bdfeaf77a9fcaf9820d24e562ada90cecd3e655421e11c75c6b391d9e7f28652rootrootrootrootrootrootrootrootrootrootrootrootrootrootstp-0.1-23.20140619git.44de620.fc20.src.rpmstp-develstp-devel(x86-32)    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)stp(x86-32)rpmlib(PayloadIsXz)3.0.4-14.6.0-14.0-10.1-23.20140619git.44de620.fc205.2-14.11.2S@SP@S8@S_@S)RUE@RD!QB@QQ=@Q@P~P!@P OLO (@N>@MRJlE@I@I@IIJerry James - 0.1-23.20140619git.44de620Fedora Release Engineering - 0.1-22.20140402git.f8a392dPetr Machata - 0.1-21.20140402git.f8a392dJerry James - 0.1-20.20140402git.f8a392dJerry James - 0.1-19.20140319git.6110a49Jerry James - 0.1-18.20130223svnJerry James - 0.1-17.20130223svnFedora Release Engineering - 0.1-16.20130223svnPetr Machata - 0.1-15.20130223svnJerry James - 0.1.14-20130223svnJerry James - 0.1-13.20130211svnJerry James - 0.1-12.20121002svnJerry James - 0.1-11.20120615svnFedora Release Engineering - 0.1-10.20120109svnFedora Release Engineering - 0.1-9.20120109svnJerry James - 0.1-8.20120109svnJerry James - 0.1-7.20111130svnFedora Release Engineering - 0.1-6Fedora Release Engineering - 0.1-5David A. Wheeler 0.1-4David A. Wheeler 0.1-3David A. Wheeler 0.1-2David A. Wheeler 0.1-1- Update to recent git snapshot - Drop upstreamed -undefined patch- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild- Rebuild for boost 1.55.0- Update to recent git snapshot- 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.- Really rebuild for cryptominisat 2.9.8- Rebuild for cryptominisat 2.9.8 - Disable regression tests for non-x86 (see bz 1012698)- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild- Rebuild for boost 1.54.0- Update to recent subversion snapshot - Reenable the check script- Update to recent subversion snapshot- Update to recent subversion snapshot- Update to recent subversion snapshot - Do not build bundled cryptominisat- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild- Rebuilt for c++ ABI breakage- Update to recent subversion snapshot - Add GCC 4.7 patch - Disable tests until valgrind doesn't cause failures in libdl- Update to recent subversion snapshot - Minor spec file cleanups- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild- Re-sync with CVS- Modified spec so can rebuild in proper order on Fedora- 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.- Initial packaging0.1-23.20140619git.44de620.fc200.1-23.20140619git.44de620.fc20stpc_interface.hcpp_interface.hSTPSTPConfig.cmakeSTPTargets-relwithdebinfo.cmakeSTPTargets.cmake/usr/include//usr/include/stp//usr/lib/cmake//usr/lib/cmake/STP/-O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tablesdrpmxz2i686-redhat-linux-gnudirectoryC source, ASCII textASCII text?7zXZ !PH6.]"k%aE7RzL÷8{X0ɬ*|mO$(SRucQzo.DJ ](F}sjt}Rk:R: 歍ycň'I"t%ET ߎ>g9xϟn/(g>DA0["wMt/|v?Bt0StQ|`)_&hjIi]ÇL !M-bXӘ\/ia8X6'B8 5ťEQz>d?F .Fdapɀd`V'?vQ'h[}iɄҤ5z;YvKau\dx1:ފ~q?4j4DObk-;}4u1LGY+AgTAy~J'R+7E.}KG~;f}f 91 ;i&TDg. 5*IJ"{mQn5+B/sQu%!Bmˌ~ls_5 ¬<#?NZԡhs7[4n| K{WB!HP *_@s< Tqfu! J%"@θ{G~52 t|h Аr3;pGtkP +DPZYOPZOQ@ƥ$*:s4d<=$QռJĂV҃ ( \vɷcpP.B_)l~v "932³ױM- hأtVA˷J1 t==dT quVi Vt(i! cp,nJ%כqTcV&Wԡw59о9%*\,h=0e-r'Pp`K+iy4?PBoGc3ZӤJ@{/|wpʘ8HR&a l*|~>ieOgrN3gɋ8WI%* J|6!P*X f. 1s k:x|#O9J9GO4"M.rYeܢ:qޛi`ڪ!qD&$"跿 M?(WR\bZVP2CUD zϳ!ͰƗdoRveTO Mn3,G~fwlOJĶ%<3}-4V<H5e |enPaQ?Ż`,GQ. 'zɕMl5TBmԵchHtgP"P>};$%2HÇ5W5FN{DL=ٖ O AL5)0\FΔ6]̫( ^`^9\+U$+A n}7u(..9sdZ${I =-yigMTtn,ڝSΨRۣاD-k;Hu "{SeT_[{'([/hHkϣC#&=^t..~go,f:}UR0jM9Vct&Ս,^9'*.(:.@ ̢$`&#5ݧlAOrst}(["p-}9ZT܆m:Ƌ]~1e3UnW2\@e&G_YVXs7r #3Ip F fe\ )g$/l_!ɉoYҫ)7l!r2GbсLH@YdJΑaf/[![,tBt=J ԔXfoBsx(/zgd`/ĢI<F03 @"l ܼN>{09tS#.,*Mc?X.tyl3}Nz9 2F__|98hOR>lbko+N^]O?eiX j ɀ0@~m!f"RvAU _FsCG!)+o]${̄1',zSɆt0E"G@Evg+l/W4Sljd*!韤t5V=qT8<>^)PrhQbz_aqH@TftzѨ'cVkG"|b1 *(05qu5Ed[PGIu Nv+Z.ņlh$ig jLf‰хɍ&-wk\ Xj$0/ GGy}V d]L;y5A@4L=Х,mc+;xȾAMpCnQ> 14˄@sA rCʫT)kb*V~eG>qǹ6r;:.+;7>ÞX (dpw5FZ֒\epю&63KTQq6 &|s|\H p6DCkmH>54.̻H g(%ȋm4@A\"j_a7E nOhzS}jLzN&TO*S ēWe+|zC!$ڈJh<3zxGܪ SfsjR!G`V|!*'9rT=cRt&WnvG498f9%-t1U{eZ5<:ͦM/d#T#f̕F5*`"TGW3 Dd7Ga VV"5唚OJWRp@/ lg NXD1'YMG B/* <)2g"V<W~/wh!u|z&þUK媫|O:b?}(&i}z{\_=~y˙.s.Mpg7a4L8,KFHq_,b ZϘZ;) b/ls[fs&}߇" <=SwCt_ŷ$!-ާgV_k]six9 z{փu:^&qF$cgӀrx%4eUݝbz>{čiĮ_n07'V8_e~i^%|]i:/NRΫRQ#riqq%H=$gUo;2_jO%k $AVF39^ZoYGU æ| a2A?oc+ZnfT"IKkђ5ՍBf4J - W:mh{ 9v˜]M4x6K0ULsIqiIH"\`_ )J:͔kGFj)z8JK3Eo-v*NUޟHdρ?賧 yǸݫCBboHZIr,oE _t:>pQ\oIx!cVXcyW"i'꒡ND4Cj\/(S2tW<3(zPb$wC:!,xtuB?vQi'6NԾ=ŕb=eA%/|/1];K% yMMpӇ+/[ eಲ.=z+EK+p@7z22ԝ<`gBji7pʃ-uG .{5SG)`VR3czko#تm3f ɈM%‹ 3FaaЎOR!F*'j ~{$k <Ӊc! Ϟy]‰s#1Q_мؖx3؅,{L[&]tuL YZ