cadical-devel-1:1.4.1-3.red80> K KtĉH2!c31^ WgeSsupport@red-soft.ru  WgEdRf˧8{i2z%OǮp@u8N$N(;hrZ^&P,av(1?;e%V>PCk~Ʀy_"F43F.%`dSFy"6=Җ;g`eu^+ZU(O릡l,d&:>Ֆ.ë9KI@Ro>?؟$Ԑl6u*_Y ,gbd7a3db05bd99cd92c6a3a09da34e96f4383fff71610716cb11f1b029cdc515a7658fee686b111b2c2915bf1000e81490354c4a3223+(<V JK]>>?d  $ B    (  8P(89$:GHIXY\] ^1bKdefltuvwxy(,06x|Ccadical-devel1.4.13.red80Development files for cadicalLibrary links and header files for developing applications that use cadical.dqstapel80.red-soft.ruRED SOFTRED SOFTMITRED SOFTUnspecifiedhttp://fmv.jku.at/cadical/linuxx86_64`DH`DHdab81c6f1c3a7a8d1f76af7d71e907c0efec016a0d7f5c49b71a6255a2a0a47c9944735ed61191f796d05d0951250bde2d97889596524d5f4675fbde3619bcc70libcadical.so.0rootrootrootrootrootrootcadical-1.4.1-3.red80.src.rpmcadical-develcadical-devel(x86-64)@    cadical-libs(x86-64)libcadical.so.0()(64bit)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)1:1.4.1-3.red803.0.4-14.6.0-14.0-15.4.18-14.18.0dV@c2Alexandr Subbotin - 1:1.4.1-3Anton Fadeev - 1:1.4.1-2- Build for red80- Initial build1:1.4.1-3.red801:1.4.1-3.red80cadical.hppccadical.hlibcadical.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-gnuC++ source, ASCII textRutf-8dff076e0d89365e369f0403ae7b099331c6b892cfcca576238ace65af447269757eff8674cdeb784c7c26ae07accd318196b73536139939cc7be722987d32b73? (/he;J 0n3G& ײu/Iy3tʁXʿh= Ja㏥雒QEƅņ = \2* .5MZF#S@/Jf0 Sĵ*:~%?v $r.> 8z{xJ -0Ciz s S^i`* kJ2N8RsL8Ǒ4VHBB)cR>Մ<*S3L_1Ld*EJHOa&:gɴ(585v+84u\-[Qhelc| #+OGvpKݒqstIjJX NK_Y`.\\8` 3n闌kƅ*b(zӗT')`v,!WjMe%K2%GKuphhpD*hZb-mja$R]6o TAa+X\XHȰ`.J`nlam ""( (0AJ|S{e};M~o_0:CxoN{Thk+D)>E3N]!5c-G]Q(ECuoV[]R3pµ8 ՑR3QΜ[򭌱86q\_UPwLDq9r)=RfDrqZ<gU0xjZ84R!R<:DWB~G .&WL9JL٣_>l(K KC;Y^t1z6NgcoR耠bQmG9BȫW/*$ +e2z/a.ȓH~}){"l~sܑĉVɶ/9~.[_rqUur9͑^-Eu9TtuLxa Y^>\ @)E248\l``1QZX.슩QZ@X:l0cd( }w9M2g|菥[V.l26΀}eʕpz-_cedkrGf"⡠[ˣ': E: b"L|}[J/Ptt)>At+^/N4.:13100c`xpjqU#9&4@yxn-7|As< +>/9kAACE~s9$O&3+P-V (H8uI`VP +(A#? Z @DB$w_z!psG[8+AlKHIH0f`w  渡bD>0ָhEw;4B˅\@`]6*ƥ¡j:*640 .M0аp.0 wxrBx*I\B &(Wq%d纀}9%p-TOaw4病XV{,0 y&}[t?˿=X5k!G?#4/;2vgcEǴ30UtD} lE5e"hPE~:GQJ jj c1Ѳfy6?st96d4zŕ~زa T}}۪-R۰2r0|$988r;` FRO捰dv8>* c@ @d0Fdf4,Lqxd1`@4 TZ*? q؟h߀?m0((gjtul_7X?^O\3Fj֖ /睵ӻpޭD^HIm))=Y% N{B]jvɊw~+BStw[0gk#`5νDK J>͍Dx G`\odEp/>lܕDUcp<fn-eVnqT~EG(E/]bV!9}7&PL?r5AWQ}G,`_mA"S'@7EsR5L-G9_8 Rp Ɇ1ohv߹H,;Wx=`=a $ Y2sjݷ]?\!}c-v'R" i'=*hE4,P~|#=^^!e{-CASl6'Fzү < ˷U6#XtɟCR_7z-=b/-^'{{=C,7m_+R1dxYbǦa"g)4d ^\)";_#2ٵuL}A!.Q%Si|v©ΔdYv\ͧ:jknY(_CKɸ5[q+F~!B*E k5+m(>Կۯ hw-!?@@jUǮ<{ցA'B(c rT,#aR L$($`5m)c(ˋd uޯ?YX*+?!̗k8KP2mܝ}1oHA35"<_;eYLL s6x2I7|D^2 C["DA~0$"9~\eIIBFht;I yfj3$&DUgcQ; ͳ>-ŷ"yxӊ4ܑ'RKyids=L:AS_ۓјy e Y+JBz>BeYBR]N-2YSIjܯDNabz66ZH T~Z<_x^ں?B[z$B sK`4P0|#ݰSa#Vfg8#N((=ޱ64HzI[B F("(^f S"{mf38 @ڿ _INPd!{}3͐H ;H>VЇp+u}8-*܂khv#bٱ=Zsf %Em%j7v@7 WuAKo1pB*Zm8n 7-C@}oyW=i2,b(io$4Zu< `RLx.)SMlDK4Dپ钢}J$d\/όEhiecF'?e:'PqnujVm8*,B&F ܰJ6`ԍUaocOwWJ줄h ɔa*^`LՍ18Jiz` W@s%˻FԛTq:I~.V9A@{"[p0z-:P T4HNb[%s)Q$ϦypTk-E鷵4G1/'l`3SF5GM* rA Fb\xJm okp"Bɟ*\1>3GNa?eʃP[TjY?Tzh} q Ta˛P\cK콻)'A>$J@Koȿ3.҄_680QPp'WXV"A,c]]-MT ,': sFJآQ=ӀSN^X#|iӀ(Д82-W{̗BrI/R~Iqdlil*Dcop}:$b4K+bv(X<[9j.cchZ?ag@β@Q; czn {ZV eqΡG_R4Sace@\`S~7U^a bn&\"z[īrD{'7Q`<$D{nc0~wlI_[#`9>!h=H]4L m, L01VnrbHfPЄ6O92n4/$py,ʫWMUf}/jNq1J. Ň_5dUQsP&XBwFqމ`t 1s~Fv=6=+xxG}ܠ8)#+Y8;g)쭹 Ŋg70Qc%9MXG;"=4xݙ^`:+kuQMd8 nK9%|pbNiPn} Ny(1AYi zZYIݟݡgȄ}@ܴ[iRL tU p})kˤvJ]GDd2b$HB51b)h" +y !dZڞQ, ؃ ExpPjaPD{:-xD26o&1фYyzH)֔DMR#rV _eg/^h.SB(B$6D)KB>)+dX,1造˕}]|fFX~v۰YMsFB"mJf9ͿJ,X%x&ҕ C#wh)$cdd2{rM{svs~3[}:Jm%  8!Xlz0Z( .cSN3ղ0> V \J$i(^0V d`  9Uq' toEz1-*zA 7":^ 3QLp f!PoW|r=n(7hU.k"`T tJh Ulgm(mӄNO'[q1 X`#:Ӛj9 @9]Eo}w_B==]t[VH ,gmHM KHFqn ˳YT5IՆы1A F ld'cQ>ػG0ib7.5sZ36<A>0ـE R4#^_L͝Õ4zHI↦ũ4J!WÍ$r&_yfig+0W/ݩD ۀoRePk?.õ@9y<Ԁ['Ę{'+F:a,e$Ի[0oj̜P-zG=eC;a]-YmM'{jwr WUg!Iz0=d#&\P5ӹ6edyt2 -H Y]i$#vl^k_>La7@B1PUvp8tF=f@z1`JdEB0?}A6g=>F8`1e~qN kicHe;ø#I(^([9 &&Weu=5(UvZd[_0W Ԥ@~AQqoMl']k M5‚mk_ @~bX0q2?6I7O\ø>pF-4/=zN>6mtDsFkΠ,1 j5xEQQt؇h'O:,vJ1\qlEWQ%_2DQ};nh. N&U~*݅F_)7`hV?h3 ǚ@K?t/ )!L/,u7֥\]*Lọ^#ȼbJ"ph M-5W*kqs0?*\C0ER>`01n165|9fGѵi` ̉ʨ-@yU5aO\JamLMikmH3ѩ{ +껫dPLCZ|߹ 91PSo?A 5Smoܿ5 _Byі#4/. NP >8gAi H;U Yxxpûc_*jubd:yS_Y̙u p4KGfáPbcEiŘ3 fߤi"y<~X }ڌA'vAB|9&3l(hLLyKVx$PX&;~b`;׌R:;1#*v%O)[#ԤLDV,ˑl`nR QdNd?$֟ϝ  P>殸)”} M cp:~l~k?pV܂ wtں-Ń4(" mW\ݰz  }`vAϵaѩu?ZOoWQO]3Ӱ҄dn