cryptominisat-devel-2.9.9-1.fc20$>+d Ly}CP@fI>8 ? d # R "(0,, 8, , @,  , 4,,,,p2([8d 9 :C G,Hx,I(,XTY\\x,](,^zbdbegfjllt,u4,vwH,x, Ccryptominisat-devel2.9.91.fc20Header files for developing with cryptominisatHeader files for developing applications that use cryptominisat.S,Hbuildvm-17.phx2.fedoraproject.orgFedora ProjectFedora ProjectMITFedora ProjectUnspecifiedhttp://www.msoos.org/cryptominisat2/linuxi686 O>E k J $&  u7? 5T + tZ"` B  pg =A큤S,HS,HS,HS,HS,HS,HS,HS,HS,HS,HS,HS,HS,HS,HS,HS,HS,HS,HS,HS,HS,HS,HS,HS,HS,HS,HS,HS,HS,HS,HS,HS,HS,HS,HS,HS,HS,HS,HS,HS,HS,HS,HS,HS,H2ee6101bb6bf13bd042903001a7144a99f58a4cf0c6834faaa89b08931f93a1406f74f86eb45843667b751ec48ec40dd8361cf731c050ee17b22faa12f50f6f804788469121e68e7391a33cdae18d6dc16e68783d05d6a071e2e148610c777f736dffb225cfbde43ccbbbdb4e4609a4b296e29e11c133ac5cbc1a94b7080e0b973fca5a9b762aeb5befcbecf601b306130334458f2374a302e276087c05aa0991c04f8c10a47e234e585cae565dedecefa0c9defcd94f191378b16042e124be7baf94e61f94107f7bb85929421e2bd904f48ece9ebf94d5614f30821c8a8a434c3356d62830003ee9f012af03d5af0d93de23488104c958471c8910c45fee4f1317219b564ef240cc1bb46de73fa105617777734e1c8d5928084823d57b8cc5e76091acc64b1549dd013db448cc40df2e29a4fb7de5bdee76a198af1680152855183aeae8c12f657e89fe88cb9c22e869f20c4d097bb9fbe88e5f709516e954a65ed3a0c0fc32bd0f64e973dded8ee8cf03cc49400935d864bac3f9f122a1e0217a2aaa20c22780428b9fc0b1dbe558b94c8f142a0b0e3fb402f0f133c4c1ca3bc9e0b0ace482c79ed8b0b34143ce5961acfa2d969a8c5e478ba2d946fd2dc3eea5cf67213aced7eab9bdd49fb45a657a12e85282db2da23c2ba866e0e37f22308e857ccd0293993b3155eef2d743920eacaf98de961aad54c5bbf000ecdb2bfe52f459b42a8fec70c8d1c652e62395a72be13d9c9fa5e9f6edffa1123b1586fc7ee1e6d7418f4eaa464dd4fc5f07f4c011c2f5832c42455213455b3632ea37f594b2bd65108a8db891447583b02127f902243064e0c5697609061ae6c4a78c0629bfcf254106524c7f7663fc309ef891c2e21e7e33b809d8bb64247f1e226179d078c2fb1942fb34f94fba434334a74995729eaf93f9d0c45f91724f3ac86d27aca7ddba29202bc5fc25e50e80559cc7a8312f00a18236d665c9d38bcdb72f29b07556eddc58812bc89cfa3fb34463c2c93845a5455caab9884605a3f25310d506703df3e4e42457db93d3cbdbfcd29494aa49d521b272c2e99e3d839353f34690ee5cacea1d7b714ccf0f36b93c3cb822736acc1fff9465c4ef49056b0b07bf4c63b4613693f3e183fcd15a7dddc4449ef7024bf15d79ff224b430f5925f503c5673a9bae4b097a95057828dfeda3d337b145eea2c51f72c8a136a14b202e7b1023feae2f173facd4ae5bc5a833c42796a5fc34f1502309763f839b6d43b673671397985d6e49fe5c02f055a6e798aeb68183ce065939dd729147f17e38fa2c07ea4e4b0fe43984ab818f97adc69553518d1c4c49865f9a50c549ea5a7a87937bed572ec501027f697017f45873a90855c32f95416aa3990d728c1b63213d813bbcfe6fad0fdcb3a91f8399cfeddea7825941ba889ac0df57f3ea0cf61c8b638d7132849aefb4f48263d0abd798bab9d08ef744dbfb27cca448dd92a8943411a3a6619655c155ca05931622535a1f2eeaa1e357d19bcdb3bd7605ec1880b197e44a6e26f895de4fe03a060f230f72dc4c688257561353e8f1c0c52af3f083b9acd2c1635efed6778c7b45f4970d2c68011ba7fe966298a1ae9ebe4e7b223fa256da90fc4fe33d27170298ba94b4a2fb81aa32539cc2c413a7cd08abb929d18b0c5318e27df651eb13c2497206dac419581630ab563619119968b1e9fa16a26010cb0abaff15687127961167a1d8e8fd765f0d1009879d57b6d92fd41d964241fd161fea47464ca46dfa392f361a39d744842663a00452d36fbd325369f9acff3a00ed390d3b49528e7fcdfe3977d9aa0a811eef30e9ddd1552bbd21af6fa66dabaaabb9c8cc2c7242e359b6f188f805796727618bf19f784ee3d360c082635libcryptominisat-2.9.9.sorootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootcryptominisat-2.9.9-1.fc20.src.rpmcryptominisat-develcryptominisat-devel(x86-32)    cryptominisat-libs(x86-32)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)2.9.9-1.fc203.0.4-14.6.0-14.0-15.2-14.11.2S(5@R@-@QQ=@Q@PP@O OLOKO N'@NU@Jerry James - 2.9.9-1Jerry James - 2.9.8-1Fedora Release Engineering - 2.9.6-2Jerry James - 2.9.6-1Fedora Release Engineering - 2.9.5-2Jerry James - 2.9.5-1Fedora Release Engineering - 2.9.3-2Jerry James - 2.9.3-1Fedora Release Engineering - 2.9.2-2Jerry James - 2.9.2-1Jerry James - 2.9.1-3Dan Horák - 2.9.1-2Jerry James - 2.9.1-1- New upstream release- New upstream release- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild- New upstream release- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild- New upstream release - Project files now carry the MIT license- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild- New upstream version- Rebuilt for c++ ABI breakage- New upstream version - Man page is now upstream - All patches have been applied upstream - Tests have been removed from the source distribution- Rebuild for GCC 4.7- FPU handling is x86 specific - set library path so the test is run- Initial RPM  !"#$%&'()*+,2.9.9-1.fc202.9.9-1.fc20cmsatAlg.hBitArray.hBothCache.hBoundedQueue.hCSet.hClause.hClauseAllocator.hClauseCleaner.hClauseOffset.hClauseVivifier.hCompleteDetachReattacher.hDataSync.hDimacsParser.hDoublePackedRow.hFailedLitSearcher.hGaussian.hGaussianConfig.hHeap.hMatrixFinder.hMersenneTwister.hOnlyNonLearntBins.hPackedMatrix.hPackedRow.hPropBy.hRestartTypeChooser.hSCCFinder.hSharedData.hSolver.hSolverConf.hSolverTypes.hStateSaver.hStreamBuffer.hSubsumer.hUselessBinRemover.hVarReplacer.hVec.hWatched.hXSet.hXorFinder.hXorSubsumer.hconstants.htime_mem.hlibcryptominisat.so/usr/include//usr/include/cmsat//usr/lib/-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 textC source, ASCII textC++ source, ASCII text, with very long lines?7zXZ !PH6]"k%h*6s797Gut KpYB/s^t] 3F&BSc*'ua G+~ =X*E= dPwG:Ct(t47mG@2H˨J6OOw2kQB 2ƅr{VW Z >R.}] {ƿmLT_8O=&U1mR tR7WEx~;Un([VCȁ,+ [nS'Ԩew:Yi/W&dN/j jġ`7 #e 䟳 n`+5I3à *X"H/\w1\2Oa뺓Cj"vtNk wt(*z":%NT 7zÁԂ1E% S.[=?'K?K/ܨ:5'Y+@H}E.!Oa6Ԛ_W:?+e)* s8/;q7Y,Ub:.Z*@=?+>B:$59͢GO1xvc+GbOj0VM*m֍^z?L@>/&\PM[vKHpPk=;khFźo5,шYeJQ^P5;Vj..ِ`L BmWS'{0fN{$vh{հ$00c% ωlpg>*KX i @?Awhԉ7t.|V=n<> n~M{l|e c*%œִ%\CM -o6$ { JWu 6kx5Uw"eaf@-9F3~q(mZI$xsa}л@ED72kv'fND ,Nk}0~1!HpE@k$CQu_xXo1VIIfA.dc7` ]èn0}EPE;rnP!l]1g8oV0<,cj$qq9 'skDC{̮4a\ZRTϐ%CHf1Z,P_"2Yl#y2bRM=ǕRWO?~fƅ{NjKmٮVx6qh&G]vKHЇ'_wƐ4o#}_vu|Dsǜc'8 5?cKU&clYֶ3.50$hwEZʴ* ;q@Pl,sto}?Hk*id%5/4# 9lLa0^5AX3<PF9fҙt,y?Ysg1vߢPVOCϢQU& [W>5//<>%y+ꈮN?5Q %: cF\TvR#UqRs aM YZ