stp-devel-0.1-23.20140619git.44de620.fc20$>"1Σ`$Z>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<&)FaD0yMG t's7ւͧ7j9IC1ܧnHF #9#N߻k+q,(ݶtYjeMqO~zLCQ봕={#6ZAS"ixײkB4TRdkHj87ΈY5E ?7ka``n-l_kn=-.i*j,=mI8 -y5GwJ7U Y-{Z na(Q ^ gWm3UoLGZ73=5jK3K!B !>-;hIsK'xP'U%>gH\{Q@R|H**uHdXV h [Ep| D"JnLkvB2u9F.^)$\$iWleAXh۾/\F.LIpQ_`DWF['Lj#4 1,+A myi5QR7DCA%ksDϬb㷴A-h ⨺qMqWs+!UQU` >\3vwmhhocM-Y#آ }%kqdRR6'Xe%g@ @^{Z?_W<{3LX08! 4a6(cɯ#)J{q%*;v~Pd'm˲c$IUia82ra߱lf(Cț%FkS Pw.$DR-^Qzj4h_Bb +o*^5dzk&nP^X Wx^)=mO3qg"Z}Rm䗩zA" eR\lOp崌L᧭q51o %^I0{o4|^ ('^YK8q"ȨDjB?EEsS&?f[;_HX|;֫e+zڱW+҉Fx2<P߳@V)=͟|՜a׍(D"-B<*&T o3dG=gbj$Nt9yZ^%]DppHUM= ] nIrԌFm4 0P ЪY(@Ԁ*dJp q`/^֪0S&B^ّ\̨HT`Tydy.)Pd!*ˏ̌@ϚBdA",1M /H@XSf̥D cxwn1lA)^K)YiTX^,RAGXB>̳$sʴXǼ?Ol)%u*YLJ=Z^h9NDۛ"g ~:EΞuuLwu{y蕤xP*kk'HIg&8{|*B0CRMcI!^ba<`ǤK1T#wi=5RZq1=%.;CGZ&?6TfICFT@: !F% YZ