stp-devel-2.3.3-22.red80> K KtĉH2!c31^ WgeQsupport@red-soft.ru  Wg`b= ? d   Z $-6: COekp     0Px,(89:?GTHtIXY\]^pbd[e`felhtuvwxy  ( , 2 t xCstp-devel2.3.322.red80Development 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.c͎stapel80.red-soft.ruʗRED SOFTRED SOFTMITRED SOFTUnspecifiedhttp://stp.github.io/linuxi686QmNw A큤A큤c\zycc͔c͔c͔c͔c2a7de1b81db8b872ec0b7515317b831eb2106cbcff2eac3971c788f21226cc5e54357ec9f88ed93f3577c06b457e42e44503dbc55021c66c5288c289bf55344421a0242ed821ac8e048333f99f3701813cef7d8583d22a78b07678018448719cb041d2e715dae31d14c5f8a16698f105f7f3ffeaea4ca251a82318cccb7c5da572dfb74570d727fe573f6bb464ae1aa0afda378bf52c3bd3604d02e7a475dd44libstp.so.2.3rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootstp-2.3.3-22.red80.src.rpmcmake(STP)cmake(stp)stp-develstp-devel(x86-32)@@    cmake-filesystem(x86-32)libstp.so.2.3rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)stp(x86-32)3.0.4-14.6.0-14.0-15.4.18-12.3.3-22.red804.18.0cwAlexandr Subbotin - 0:2.3.3-2- Build for red802.3.32.3.32.3.3-22.red802.3.3-22.red80stpc_interface.hSTPSTPConfig.cmakeSTPConfigVersion.cmakeSTPTargets-relwithdebinfo.cmakeSTPTargets.cmakelibstp.so/usr/include//usr/include/stp//usr/lib/cmake//usr/lib/cmake/STP//usr/lib/-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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protectioncpiozstd19i686-redhat-linux-gnudirectoryASCII textPPRRutf-80ef61eb909909ae69518776ecc51ee6b73e71cbd1272f10cbd80443abebbf828540fda572ffe9cb37a7450f1fe098d18de7e9ad34e749d3038ecdecd59f824dd?0(/hQz*15Hs/1"̯Hvbl !;RJCcW~Yfْz_t,/_^eS,T=ʾ!n㯡JLs~ bD4C%MrUQP\:񴒿PJ%tҐ`,#tuY(% $R74రPܓl)9@< a=@Bw)VRC070b|Y=iOj.0lw:^*bݚL42JU*3[E~sVV^K;n^ص?'ޓTvԱZ>H %H.GX:'{nɴ`{r^'u _LḶTI-t[o,JeZz`H+]ew{⛹ 9vh f=NShekR&iM(r0 KwO/)ԻQ֊RLŏɳD8H[SVx 0cQ=@4qٟ,O/YIw-_ S:m9!%vdaŏ)ve^ky+yuY?V=O]%Ʋ0a6Ggԏe6OwQ'bKy d+Rs`[Gаv%t%ov ';ׯwqX|p ۙR&PCP^P❼ފ^PLnZf6Ba(.,ߋd!b/o_HGJCz1 znpܞa01J㲤XY= 0&Eq%M5M4HWQsP 5ѮO!fIuQ$4?x3fDy^)oC6wRUٓXe=E24"9dXۏ/,irUm(Rpڷo\{9%ɢ&Pb/aqKQ D4՛(/[yopw`9ٍ"ϟ|*"6РEMS}җ4'v_|sH>'*6MS)R`0dX'^ Y@u7XV 21 *11;_khL`D0Fc=OykR( X% rKb紃W 1qI"TMn rU0{b9Vy|qyDDQ&8 01XQ%mqw(j k9i Rt?0!Lfw`qQزH;.*Q3fFvZ 2!z=D|V `ǁຯ*$IT3Kx rE0( )$E:0fk0;-kk?_^fXzy G~c햀] )S)ݨI,Zl4KzP PFQTV90BeT͒@ "h+iۃ |lgXp]Lp\&MvMldyu! PкF!uUqI4kz4%oCys\gkpک0Ufyҧ~) Ti=  P $$N*YstK 2H") P)( G伤>rs~.hŸ4^Kױ4\hW6} q$$ S=*ԏJ񋜘Ag]zI¯*oxHAe$cim o&Gq̸-HXy6~vk-i74^KQUUpkp!ry MJ*e[))3DE*W>O ;k/QdGL4>џm6R \z<3ߝa,d.'LĄIi!۹^4d6r@ b#Qo\z/6{er"Asc>c뇉NclRB6wkbԇMl- ڠiFN%]]; zU.M1>/}1[-#$LI;`;@.Eѿ@m/.m+Oe C4|:`*ڮ0&F:yLSD%qP7TI~EO,k. k $~,&`Zuh)>3ѽBglg<6B/Oq^d+e1I9Nc`u^ M5OYEؗ&qݔPn-ZRڃzEqWM  2,鞎ȦJ."܄t&XS90 ]$*m ʍƙu48%+&]|PYBѠcri#PPQς0dj<('6՛A* ){`8Uc _里HY$4]?tǨF [ƎJJ;y0e1fȮs}DH^|P- P:H{Mf)ZBȥKu4zJk 47酝2ݠ]G[]qCӝH ȴVR/bpP6r`yc8*M#ayJ='^i8>dщ%F gL<U'x!Siv~@W_4Ms@1u>&7`+I悹>1cb:4mDEa* '^]:cy%iiX5_]it[*w"-6uYd ;-D=wiUq}2-jp#U[i NexGg+2U+ pGxPLW~ 10JA:JL2q[7cYWKCoЙ>Vz.r8"e(Y&K#*ʮ>KUX41+7ɥ)$|ry\L&yy'mJ ,>孊`Uje FwRKuFb8GʁL5l6C/`zPF۝qYdQ9lLRQ$2fG;/`,!-4$˯qOgʥe&0 WF=Z2onP}cgfXӷQ Fހ{IWZebͅUngù/ǴU\dEbyFvhԎ02ʴHD|19V&,ͭx rd ; ubACވ$ɀYDXU7s9׾i`e :/)vsf64+׵V[.+ڞl#.t eP#|sԳ[Wڎb}25l܅¦]R+ ʉ(}eO`oUyڸ&R8uĤnN0/BAHdaFQ[w{GPO<;#%@W OQs 넳s葈 `&aC} F R:Y::̴`P)¡)c~08A)x@c7ʠ^|Li'4+UʐV+z'v 0^zR ysN#qB L% Nl O)  }.8^B)Zl7EE7(m0lza(t#$;%K?iU`'V#sI&~=eCYJG#Ɯ/A.F֢.BȃLk2;'ζC !r}̕V~=vH{v0~V I{M!9NX.W$SkOH_wƉҀgqF7"Y(i6_ rB 4S\[OL trj )1 vX 4. -}>Ds` N^ P4H>UXEUW+Y0l8tkxfB0%NHn5uSu,?~ ?|Bݚ"ta2h j ulx'EiCzX݄yˌѦٹant襴`(Z@pa:/psD|웴w1S-ƶxErhY=B -k;e{$.h MJ[Fl!m*Z`_Ce.ix^h,ܸՒUIxeJR3(aoTOBIB:$)x1v#ѻDpĩ̑bqف.UÊ"К8dzD)j$K_]$Zv0VDv6ޚXqf~JliEG\.EPe}ZIE>qXOGԨ{t=mѾ-ح5O oe a:^UxΕK)Ȍ]Ӟ[S? W!͚8Gx8:oxRR(u nBTj$ 4cOeK).j$;C n 5 X_e+*r`E0#bn]M:.]!WP*G;(q΃V(>S;{>Aw <%v 6^׺dhy] b ѩܓ.й#E&aThOо!/! r m/$#J_yܢ`@*γGj|W'n|OE }Dmu6 hkDꍿzྔ2eȍ %L^ۛ2xvaL9 q$R5o NrV^RC >CY?lQLbWяC>|xg'zSZ5̋᧭W\M pz]<2ç.> #Mo,2:':γT ^ A1Vm/IMKk8%ht)I椁/xYG|s>#|hx.UIAZmPb~Fe(S FE#(ǁ/<[|ЮՊgXp]Wd HD'@S9#H7u zH(]K0 2zmeüE[2y+cj%bȃ|ʝ%j(Zv~'jbݮ#ԭ_L}!ski~ %6#8`vN+ϑ3]#}bkox•F+y)Vt|%w@|?}x3>uAq`S1VurPwT1 V)wmQ0 2/(/UVGtVݺILU zK;:au Eh6λX˱`0%N`#U"?فKun|J݈(BɀN@0<⵺a/Ͷd γHxAy?0P!Cڇ x[ќ*a(89l_'u]ٍiXKTc):LE|wU(H3 _3NE  QF,!LnXo Od LKiLi @# Kܕ7H݂jC$R(O&Ѩ瑵(ɯCGScJH %ß7Rߙ \(, F`*]KI+x:),y"_@o~a`'?CכL qVVaL5uO2ʴշ%$WP%AT"{Jx̅|g EB&Ys1v &j%dH; WS#yX\x~E`'l@p!?s6Ǽt+ؽ@u^JEmAQ#I?mG@{Մ|IG;9Qx $T}n^Tum lՃU4d$Ƴf|?0yЃUVnd$o1' 8 4 = FveᷦQq+V΢Ĥ#wY*2P^7yuL U1Qj6ܻL3(c"y4S~/fcKntĨDqnd6:28$G_98 )?ƍ\H49'ZZ}N wGMf_RmI^--ٓAXQ[D όMTxy)CY l86$;l' :8](ʸSh)[P%9QŸ`,\ @bL1 wfIqTWm\*bE0Pl<#ޮxѺ)]x}KD,F$L@5J(%+KhԧȬ[