stp-devel-2.3.3-22.red80> K KtĉH2!c31^ WgeQsupport@red-soft.ru  WgMv\dT}&ޖL⢎C''Ǻ+B \ e/M^ǰ8 l7A%Pd"XT.]E0mB j1)|@KQR>&n1Dcߧ+nv chx4)l9XbםiY!+Q](ΆʲHi&>hc]mIvebKr7xK= ? d   Z $-6: COekt     4T|0(89 :KG`HIXY\]^|bd?eDfIlLtduvwxy    X \Cstp-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/linuxx86_64QmN{ A큤A큤c\zycc͓c͓c͓c͓c2a7de1b81db8b872ec0b7515317b831eb2106cbcff2eac3971c788f21226cc5e54357ec9f88ed93f3577c06b457e42e44503dbc55021c66c5288c289bf55344421a0242ed821ac8e048333f99f3701813cef7d8583d22a78b07678018448719cf8b4ba779213541631a2886c7609df08ccfba9f5e228692f760889b3b0014d4740d6bdc02d0202ef189510b808cc68aad68f3ee7ae1dbae6078f38e48c280af8libstp.so.2.3rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootstp-2.3.3-22.red80.src.rpmcmake(STP)cmake(stp)stp-develstp-devel(x86-64)@@    cmake-filesystem(x86-64)libstp.so.2.3()(64bit)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)stp(x86-64)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/lib64/cmake//usr/lib64/cmake/STP//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-gnudirectoryASCII textPPRRutf-80f6ccc8882f6b94877f9d6ef0174e407c3fbe90d3c309dbd1ed5f0b08f8084816779015b0888591a06d641a90beb8c04c271aa463bd90cbd8e245da91a4a0695?0(/hQj*15Hs/1"̯H~ٕ׎>l= u:_=O{ I,G[JWhX⎙naiV=Deq*㦻m4tpᜎ2y)ZH ^5hig"`$AڒڪԑMkY{?[ K+Џš$n$҃rp4^[ڀ*q\,ןO D%Q4IS@,{hUFi-j$0B@J&ʚ aaUPT65cYR TAiX$D:,Tmi3qmՃ(lUMHSFA4jl*He]MqU5]UYHdXkE&P 9*BS~`Ma7I%!&1A9 EZ$ Ӛ J̏KZeCk-HW(Sֆ<;,JnK*}> ^NWewgKӱ~%3cxMR>G+憜펿g+1αWiK)=6WEAM\:񴒿PJ%tҐ`,#tuY(% $R74రPܓl)9@ P@o€0Oz:"oz; a:ă{R>_$° AxVzduk2ԳS*y DT n%Y[y ;/;{u4]TGP${@eJKN|(Xj "YrTsL.{,O+n+/ǹ*(/UR =KRJWޭ0c7i4 0V)pڷ IZS6ʢ C2 c nb++xc,,VzkoVmyhgyzYk NrhXFkqo$fiKv 9,# +~ H-~Wxm\.Z{4?XA;gyO(qal)mgީ˰!:jm3zoOĖ d+Rs`[Gаv%t%ov ';ׯwqXȌp ۙR&PCP^P❼ފ^PLnZf6Ba(.,ߋd!b/o_HGJCz1 znpܞa01J㲤XY= 0&Eq%M5M4HWQsہm( nlp̟h*}C9QA6m~!EY3?Cf5{u@=OL+YXF&PLo&N&n@8{wk|G#V; |}:F~W5@6ϔrW[;r,Uz< >i@uwiJ nhnH/#̀McCfQ8Ldq (1Q{F[ŞӧJK)sB9O;h MM2mvkܳ˱ $)8 Mq:`0caYFqI)AW>= ?T4eUnӶ2t A&'[㘟i"ƀ._xM2QqRq!2)MڴwnU0N N9< Ձ'b72ؓ+dOS?޵^\_z Gd+5c;"82 E X=CbÒdۤY҃j4ʁ *ؤrlrUɄDXLuqv5%PIӆ]4h|n& n$x5x~nLrA[PY0Ufyҧ~)婄j]4)=,@P $$*YkdL #c, bP P0PSV( Gg,(!m:SfÀSHe,*@q{GW!&7ѲI#""ZA9qt;NǍ&3|qw ]جiب1@SPΉ@z_~fWj!WDe΢vSۭSt9':ska+0;Ńru7X fBiϴ~D" m_ `6^`XnhG }}NDimCOO;ǮEOtA?x9hA BQ@p#jp.[~~j/7q4U%!dfٗK_L.?!B[$iFN` x4LG?]8v&xPhx7Y2rr:e#\Yrpr)m+7o o\|]:uTܮ:4'vFDS!6jXwE& ܼ Jߏx,`4#G=0# N^LcqZ*|TMqY( t&FڱɁJs`g`uX$PvL<3郣(Qe88,V KB>}a-gNÓEg|w-vHs֕q4RReZIDK)JLNn V١V .@Y}b3'M#-w!u ICĤxYtEks? y;I%U2vueh8Ҡ#/*rs{H~|Jo rOä~:TOZ69m=!UYcؠ`=;ض1槄ވؤc, %vM c}oyC?&%8NK)Ě ue?< %Q,;Qq375}}g7£E89->xAGu OCrir'~x:a[Pe!ӱׁFеAyMV 3wnׁ"Jz7_bϤk-/=x/n$M186R9s] vy$+'(@qZc nyn>(R ٥A MDە*A=l !]Ҝ#I9l鲄'"*@@* c^Mj3UAO[se zGJu}pa<vSfF\wCk1g;Ab\h[}_}P7ɗO.a;ڬHHVaM`vvlvsY+΃h=@aS64Q!-%H[f ]6ܾ?#UX{+qR+^92y][QTޜYf8 P :AW%8bgfMN4;aQ˩ǎh=kX@qӀ+yd_J֒a!1"%TKL#!א%c-,aKmODZl/N!^P lHvYc,@%X}AIQ\l ser].>ŀ TU > ؕ VޕUn 6r@^'=W8_" cnSƷbhzMԨTxBP!}0AxCj~ B;RMt 2Svkb,}sbAy*A)>{* K14 z6EUGn3/]=䧒c&Z%n2~$1 ~v ?Z]ה 8Sv6'Gb⟖L 9%j"`FKv`Ymkz 1ٲ`bY3@~`{`+۫:KEKg8˾Y˘$8p$ZgJAB}`k !H`cHX3 K`,ZH]<ƫal"sDxC/2z`بKE6yM 7NY2ΊhddrMbz⤹܉ެR E]ڝkJP-,5{GaL)UIjS1TM{W{1i KySvC8zx5{CsqуB=T殎* 26 x}W  6s⤫視]4\]7t#LP3_R(]BJ>٘$:8,YI*LvǷlC<[#O5ft |C{|q?ϲwELY%-贽Af貇NS9^hq Bmh 2 ңVگ6hj>\Ve.28%NaB %y+YI$U߭ :/ gDl`.2fZ\U3k'g7IͨBIqYH (-;!!B,-P\XuIXW{1l^rc@ȸ>uߎ%~GoOܫ=p8oR . 0]Rf W<`;q!bG .BA w0C}8l]AN1;>q_ <'īg"DvtJ{˴;7ax{0*qV!KL:-h sn5e&yR@5.} IGdzW'kZB nB fӒ2HP:΢-7Ԫ -ן+5d*?)#w&`U#!:X@b.LqKuy3}kK:Ȱ5xMPfF ˁb7ToQ v WfI=Q#aቃ HgZŪ3Jpʍ-\# ,;Ftnjt\GTw5@^fd!JAPh%X5.ɞa@)ʒu4PVMDW5+)DV6TtsAm [0D?Gtw~è.`+Q8v[=$2N57"WI[KڠNd7ܻ Qu9X.@D^>*suLP@yQ'6 `JBApeO2b#@5qX={4bJ`lTNB".vH\M MM@vJp=$^ h~.g:FHXa1uV W  ̕grjH0TU50meī< |~^K=1 _;Ϫe͞P6rGP#ͪUS$5U8bTE 84N4`$ͩɌH"B?k83HmLבpFFZ pʃS@mǸE.R$;ڃfg ߝ2*ƔCrIHqt(uW )WTs*Z\9z5X1.4, t}g,b1wga#`X虢?" rhs E! dT҈n.mF}͑5Z4O22' RW׸L- ѦuDA8L >+Z#A8ke3cͷx.D0.N x͔V؈@@s>3%^uP`CV6ԝAÝ wpw/KXB.?n.k鋢@|8Gm'Zn<u~|oVQR%j2MwdxH| ~mYx~-v[,U*!95N ZL+ D*ڲMh6iŰp*5,']dQ?[3%Y9JroIK Fr0xEBE RȻ >mqBP<~JSْbAmB=9)G 0 //0[!gebI'ܞzHC`2H:4B+(eRVI?5(? X?-^Kz4hI '# C@oD1[ɒU76!d@8@# }G0IH+)ωWdi'KJLyZ,1>y8:5F9wLB\N;"WuTaBy T P-\;N/* PAOaw)(!@=숄g!NθLjU{ωl( Tݰ~kFed%MalndY\}ULnC"$c*qX΃%K𚸠5xBnl&sa('n23|cOLݖGfըhFN,rRU8/?a1׌0?)ы"IKԐ9n%ndјzM`$S#(gZ>Y">R9Øef n c̼ȏBAa.'VbVaݾ'8cw2iT(80GSJ4!HHئ^F8:Ņ Of~:w62_CԍFchHa;=vڇAde( uN IPNV^ꕜjD4ؚ`+b{A"rTb7dΑT ^:x\Sr 躀K1G&.[lNr_ y$FT8B85e*v{ "``ϻi2iiGWجXd0HqIfj,1tR;$h!I&} Q6:ۆR$of$Sq?s>uJ gH2bΪB3t@r6(,ws߁n=Pb*|HGOF_1z"Xb9.gt]ėN3N€9E@8 !z@Ljr?wH@qX7 $ 8E93>w:7nd0J4b o{ J[I#IR(y9=]pQ/|\l2+NN kmŠ5Rt S|H5\xrB1TLz{U~Pc͠~j{1w"-eOB[VUCKMTk{Se' 76R|҂ cP-7;"W8k'Zl1bҮ>hNq-l?U]RbyE!{%Sktmi01Rji@2;<