kissat-devel-0-0.6.sc2021.red80> K KtĉH2!c31^ Wgesupport@red-soft.ru  WgIttі2>y87(9<.n7 {JYJ`ȁz]X~f AsA{R8ڄ1)݄j҃J斡؟_܁ꚩ诼7'I<҉7p#ȹQaJDB꥕)ӉCFw ,EID|ONGґQHC?Ai 9 BN KjkY s67af1a5c5150c0905f1996d1ba5326a0379ba87c8c80770e1fc9e0ed16b81d8b2d255b1047404e45f3a5b76985b16d9b6828214d MXNg'U^>=I?9d " ?      Z lt~(89:AGpHxIXY\]^bd[e`felhtuvwxyCkissat-devel00.6.sc2021.red80Development files for kissatLibrary links and header files for developing applications that use kissat.dstapel80.red-soft.ruRED SOFTRED SOFTMITRED SOFTUnspecifiedhttp://fmv.jku.at/kissat/linuxx86_64`Ndac44723795c73a06dda76acd860faa25493389fdb2e18a7e5b2e0c2a02d1e386libkissat.so.0rootrootrootrootkissat-0-0.6.sc2021.red80.src.rpmkissat-develkissat-devel(x86-64)@    kissat-libs(x86-64)libkissat.so.0()(64bit)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)0-0.6.sc2021.red803.0.4-14.6.0-14.0-15.4.18-14.18.0d@cQ8@Alexandr Subbotin - 0-0.6.sc2021Alexandr Subbotin - 0:0-0- Build for red80- Initial build (rebranding)0-0.6.sc2021.red800-0.6.sc2021.red80kissat.hlibkissat.so/usr/include//usr/lib64/-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protectioncpiozstd19x86_64-redhat-linux-gnuRutf-840ba022cadadb2bb797d9782d39919b7649086dd73c2b0876113b30fb0355f3ac832a5b204071838dbff1d522a8962e286d2b1a47e7e784893cd1c7092407e15?0(/hM$?D!NA%0.i}z6nUU3ױ F?Aq-F} Y6K&~aoI<( ,HlbL;P&WʆxMؼ(D7vl4A ME~,2  +:4Q'-wjҫ,}[#RÃAnUu8Z!)&'Ȱ-j^tX,|> ׫v46 _6TU(" ="HQ GQ*44`^9ދ6`yfn7Ր}kqN1SUIa3NI % K7q%W&gZrp\=]9~9n2aka/X&v~(X[`U t~jQZ(N]nU 8mly`;+(j=md Cooh)r%2-@7Qy!Ik@Q'42ሲ&_kNs+hO+@h8(/ؽP