cryptominisat-devel-2.9.11-3.fc26$>/:D@p7D)zZ>7$?$d $ S "(0,, 8, , @,  , 4,,,,pc(89:(G,H,IL,XxY\,]L,^!b!d"e"f"l"t",u#,v$@$$Ccryptominisat-devel2.9.113.fc26Header files for developing with cryptominisatHeader files for developing applications that use cryptominisat.Y@buildvm-26.phx2.fedoraproject.orgFedora ProjectFedora ProjectMITFedora ProjectUnspecifiedhttp://www.msoos.org/cryptominisat2/linuxi686 O>E k J $&  u7? 5T + tZ"` B  pg =A큤Y=Y=Y=Y=Y=Y=Y=Y=Y=Y=Y=Y=Y=Y=Y=Y=Y=Y=Y=Y=Y=Y=Y=Y=Y=Y=Y=Y=Y=Y=Y=Y=Y=Y=Y=Y=Y=Y=Y=Y=Y=Y=Y=Y=2ee6101bb6bf13bd042903001a7144a99f58a4cf0c6834faaa89b08931f93a1406f74f86eb45843667b751ec48ec40dd8361cf731c050ee17b22faa12f50f6f804788469121e68e7391a33cdae18d6dc16e68783d05d6a071e2e148610c777f736dffb225cfbde43ccbbbdb4e4609a4b296e29e11c133ac5cbc1a94b7080e0b973fca5a9b762aeb5befcbecf601b306130334458f2374a302e276087c05aa0991c04f8c10a47e234e585cae565dedecefa0c9defcd94f191378b16042e124be7baf94e61f94107f7bb85929421e2bd904f48ece9ebf94d5614f30821c8a8a434c3356d62830003ee9f012af03d5af0d93de23488104c958471c8910c45fee4f1317219b564ef240cc1bb46de73fa105617777734e1c8d5928084823d57b8cc5e76091acc64b1549dd013db448cc40df2e29a4fb7de5bdee76a198af1680152855183aeae8c12f657e89fe88cb9c22e869f20c4d097bb9fbe88e5f709516e954a65ed3a0c0fc32bd0f64e973dded8ee8cf03cc49400935d864bac3f9f122a1e0217a2aaa20c22780428b9fc0b1dbe558b94c8f142a0b0e3fb402f0f133c4c1ca3bc9e0b0ace482c79ed8b0b34143ce5961acfa2d969a8c5e478ba2d946fd2dc3eea5cf67213aced7eab9bdd49fb45a657a12e85282db2da23c2ba866e0e37f22308e857ccd0293993b3155eef2d743920eacaf98de961aad54c5bbf000ecdb2bfe52f459b42a8fec70c8d1c652e62395a72be13d9c9fa5e9f6edffa1123b1586fc7ee1e6d7418f4eaa464dd4fc5f07f4c011c2f5832c42455213455b3632ea37f594b2bd65108a8db891447583b02127f902243064e0c5697609061ae6c4a78c0629bfcf254106524c7f7663fc309ef891c2e21e7e33b809d8bb64247f1e226179d078c2fb1942fb34f94fba434334a74995729eaf93f9d0c45f91724f3ac86d27aca7ddba29202bc5fc25e50e80559cc7a8312f00a18236d665c9d38bcdb72f25072a9a00fd584e2a08a9c9fe1bce388e71c13b2250aa6c107536023c77809df506703df3e4e42457db93d3cbdbfcd29494aa49d521b272c2e99e3d839353f34690ee5cacea1d7b714ccf0f36b93c3cb822736acc1fff9465c4ef49056b0b07bf4c63b4613693f3e183fcd15a7dddc4449ef7024bf15d79ff224b430f5925f503c5673a9bae4b097a95057828dfeda3d337b145eea2c51f72c8a136a14b202e7b1023feae2f173facd4ae5bc5a833c42796a5fc34f1502309763f839b6d43b673671397985d6e49fe5c02f055a6e798aeb68183ce065939dd729147f17e38fa2c07ea4e4b0fe43984ab818f97adc69553518d1c4c49865f9a50c549ea5a7a87937bed572ec501027f697017f45873a90855c32f95416aa3990d728c1b63213d813bbcfe6fad0fdcb3a91f8399cfeddea7825941ba889ac0df57f3ea0cf61c8b638d7132849aefb4f48263d0abd798bab9d08ef744dbfb27cca448dd92a8943411a3a6619655c155ca05931622535a1f2eeaa1e357d19bcdb3bd7605ec1880b197e44a6e26f895de4fe03a060f230f72dc4c688257561353e8f1c0c52af3f083b9acd2c1635efed6778c7b45f4970d2c68011ba7fe966298a1ae9ebe4e7b223fa256da90fc4fe33d27170298ba94b4a2fb81aa32539cc2c413a7cd08abb929d18b0c5318e27df651eb13c2497206dac419581630ab563619119968b1e9fa16a26010cb0abaff15687127961167a1d8e8fd765f0d1009879d57b6d92fd41d964241fd161fea47464ca46dfa392f361a39d744842663a00452d36fbd325369f9acff3a00ed390d3b49528e7fcdfe3977d9aa0a811eef30e9ddd1552bbd21af6fa66dabaaabb9c8cc2c7242e359b6f188f805796727618bf19f784ee3d360c082635libcryptominisat-2.9.11.sorootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootcryptominisat-2.9.11-3.fc26.src.rpmcryptominisat-develcryptominisat-devel(x86-32)    cryptominisat-libs(x86-32)mariadb-devel(x86-32)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)zlib-devel(x86-32)2.9.11-3.fc263.0.4-14.6.0-14.0-15.2-14.13.0.1Y@X@V?@V@VUUa@UD@TD@SGSS(5@R@-@QQ=@Q@PP@O OLOKO N'@NU@Fedora Release Engineering - 2.9.11-3Fedora Release Engineering - 2.9.11-2Jerry James - 2.9.11-1Jerry James - 2.9.10-3Fedora Release Engineering - 2.9.10-2Jerry James - 2.9.10-1Fedora Release Engineering - 2.9.9-6Kalev Lember - 2.9.9-5Jerry James - 2.9.9-4Fedora Release Engineering - 2.9.9-3Fedora Release Engineering - 2.9.9-2Jerry 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- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_27_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild- New upstream release- post/postun scripts are for libs, not the main package- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild- New upstream release- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild- Rebuilt for GCC 5 C++11 ABI change- Use license macro- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild- 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.11-3.fc262.9.11-3.fc26cmsatAlg.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 -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -m32 -march=i686 -fasynchronous-unwind-tablesdrpmxz2i686-redhat-linux-gnudirectoryC source, ASCII textC++ source, ASCII textC++ source, ASCII text, with very long linesC source, ASCII text, with very long linesutf-8?7zXZ !#,v]"k%*6s797Gut K2+FAάayzn%| ulFƶ2M u)8}4;ܲ(ovY~Sfi?O 2rRkU25h4ơEHVBdG\ 0jWvЎ,)0=?cj;fWkw幵h_"8;o:j!4z~u>[mks կ/L0(w*K󲢇 &p,0ŕAyvfuLضY7i'+ЪXC5~6=N~3er(,ƟWYa2Lh`{d ]2%nA8 ,ۤHNl[|~qTH}6|suW˄BP7m/`cȶ'OzWUhًQu̘˳O_W [{\e i=| B#[H74.%ax+ (nj."wRi.`FmeBAIF/G X| ɥɪ*(?Β_XFW6]}\"?Өjln 6YVoueoc/x7>R]2B]m{(Sy=`qh-3þ|H{.Tr7;BvgfOn35'34V\adŽZA>Ε\<B1R7e;4Oo  H=g(X{o~˃SvD {OVhCL%wlg&;Ƹ(A{5 x O1xәΨΔsZX`4)@5k,J-5⺑^ GFi!x/quV>OR.vm5-<'MEQy@Dv${K єop,:I_ΖbQ)H;ބ5.o9GL\l6.&wC51w8ۣj׼$jnM[`xoٱGu =.VdعKy"Cl!tjgϦ!Tg~KȄf<3~Œ:xD[s R[mIWx& ^ *VaOU %[\ %{}۶ YZ