stp-devel-2.3.3-27.fc39 >t 6 6_6\3!92d LuZLdD5 uZL Dbڤ:[y,N!g41"j5l Ƨ9qEܯ`+tF6r"T  wk1{nC-7:<ލ]tmʙXAC>o!b F0>YdDG m!S^=EYYK>#[Nfo1{rQUF=pr_䐣k}j NM#կ1x=?6 ]C5i}~Eӓ BL7)ԍ)΃Yz"ow}bRYBU[4Zy:[rm#zm dbC|p4x޿ rċ_kUwo4hùv ajzZK«S׫d} KfCT _d]L_3M<58Ap`{#䟰:w &,:D "Ű?7θ+qǵ`r7f60acaf09ace71a1671816737ac07d1e8569e2bb0dfd24a23757c859af488b8574cd679ce60e4fa9ef271f283b6a40d0cd8b50f030204388b603e00463044021f38365ae0aa76dbafd20e5bb29263bbadaa235d38c3617ac11a2cfe46e8ebed0221009878d8510e3986f94dffdfcc85ce42ee7c4e5ea357f996cde4af63f158f3c054030204388b603e00483046022100b35f2c32250eb773d5333da9d25593f8246f33e964dd5c1c9b8c8bcdb15481160221008f6c6ad3a26a7431d2aca4b244ebc910d24a522242bbf8c1f4f8bc950ca7a315030204388b603e0047304502205d597df58a23680f1d8315b2930eeb4ae90b60df0c6bcc38da18275fabe56e00022100970ebed4e782cb93d6722598c629cccd97be9dc83db8cf91becfe26177ff1173030204388b603e004730450221009157329cd2a08d58f891d574608b6efeb10e7c748d29d5a959b508059c5aa6af0220639683c9c5f458c88c488ad4d1a687495d722e8a21328399e326bd32d5dcb4bb030204388b603e00473045022100f2f0e47f13facff8648b68bc9379ab6aa81d4e0fc0f487201a67e84d44927dea02207bfab800dbcd22784805c63ff74ef057c60c5fae1ff06e99bb8e113612db71dd=<3!92d LuZLdD5 uZLYls:nhȵڍ bx"Iv iNo,ĥ3lq".W+/u¾ag{Gƹ#o |ba |תKsC3EvsH% C?nHՕ~ʂ4YTt"b}) s_=,\phbCu޸9+ء ӱsk&`f+OvMk㨀Q ʭ!̸re9ǽ\1?K&Pc͆R %\Z 3զ;UZm z%^nUlNvՌޒ0WM}?4u>şKi--QPhbQԭB=)Bq[S-g8Pd/lU'P )67]w ەH5.Q(PF_@ Ҟ7~x!o7LHzPpvW{M1`O'lلeKlzhDl?~k}Ϭ>`> ?d   Y,0?NR am    8 Pp0L(8$ 9T : G 8H XI xX Y \ ] ^ Pb d te yf ~l t u v w xy4DHkqCstp-devel2.3.327.fc39Development 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.dB[buildvm-x86-10.iad2.fedoraproject.orgʟFedora ProjectFedora ProjectMITFedora ProjectUnspecifiedhttp://stp.github.io/linuxx86_64QmN{ A큤A큤d\zydddddd2a7de1b81db8b872ec0b7515317b831eb2106cbcff2eac3971c788f21226cc5e54357ec9f88ed93f3577c06b457e42e44503dbc55021c66c5288c289bf55344421a0242ed821ac8e048333f99f3701813cef7d8583d22a78b07678018448719cf8b4ba779213541631a2886c7609df08ccfba9f5e228692f760889b3b0014d4788f45ce30d35116edb8151fc459ff426a925e1b1f124799a012d183bfe9ee749libstp.so.2.3rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootstp-2.3.3-27.fc39.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-27.fc394.18.91ddZ@c`cccbb&brjaau`@Fedora Release Engineering - 2.3.3-27Python Maint - 2.3.3-26Jonathan Wakely - 2.3.3-25Jerry James - 2.3.3-24Fedora Release Engineering - 2.3.3-24Jerry James - 2.3.3-23Fedora Release Engineering - 2.3.3-22Python Maint - 2.3.3-21Thomas Rodgers - 2.3.3-20Fedora Release Engineering - 2.3.3-19Jonathan Wakely - 2.3.3-18Fedora Release Engineering - 2.3.3-17- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild- Rebuilt for Python 3.12- Rebuilt for Boost 1.81- Add cstdint patch to fix FTBFS- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild- Add distutils patch - Use more specific globs in %files - Convert License tags to SPDX- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild- Rebuilt for Python 3.11- Rebuilt for Boost 1.78- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild- Rebuilt for Boost 1.76- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild2.3.32.3.32.3.3-27.fc392.3.3-27.fc39stpc_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 -Wno-complain-wrong-lang -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointercpiozstd19x86_64-redhat-linux-gnudirectoryASCII textPPRRhttps://bugz.fedoraproject.org/stputf-8d3f17e0e8869b9ca00a260ec3025be90baa47f758b1464007feb23af29db601cfb7b5b2fbfb218637327da5845cb5bd3b3c7872bf505d599539da8eecd9ccc7a? (/hQ(+2Qz9DRŖ"8(q,Et Y2"5fM-59̅G?va絣O/&݈u>Ӟ*kb",ֿY$` k[XZ;SkO,Aet혆06^#(ܤEL}^iE^;Ǟ6lfMR-ʨH-ٴvh,Q 11^ޠ4ݸ<mDPΚ(ӇtK48"|Z6h&,z kA*–Av]XMUdE!EH%YeMHZF=, * n,KКBu]T Wu=( dIg5-$-uA4 bʨFUm[ްk)1*K kM2IUMh -l6(4$F?GE2IkUSDa`ZS`HRhyP|mvqk^^/K~^] 3NZ_sIky lPL?Zw9L1ݖ65l04F%?^cΎTqd%7ʎ]Ҙ>v36 yw{ M6Jg:nm/vIDCZڤG_5qJ6V4[Cw):%l8G2bHM%r=RN:@@ Q@ !<0|UZ?t" $D=a:ă5za8V=jX5mIr5b^܂ "~Q915 ۥ^i^G5v]hO1.-Ӭh <`;j$iQeQA|]&~ֆVlLŐI^"\$Hө%;Z&s=SuTn h< Ϟ PG .r_h8Jkqo~f0ӎu =9# zڐhi]Ձk//i~j!i8A;8?6~إxb38C0[AY;6DG-=zF-Cl))!_:O-D-1 [HƋgt\bz%fq+ݐ^δ2Yf(hPeDIJ,lŅe[,&U/{NF:fW ~Wv3/] h0O&JrXtEq%ט'O-9}4mQEݍߋ;8vO8%E6SԠ]HSEUETDc:uF~@ ‘n1|3M-rV؈_(< s%`"b0đ8E-;m٣wlB[ Y$@I 訸4gǧ `w:;xI"yF p }l48J>:3JFP9@G%g[UdY;^YQe[NNM(6Q~d[Ezvw_h#$絇.鴕k kŸq?d4wVp5YF(S#=3۩88cd8㋱G@<*K\G[;i-mNA✒dQYopp8cԺ8{=ee1qNq)?톆ȳƆ 54hTc;ݷW) R,Dٴi^a/ 325>$HxR%GG ʱ=S bGL7 v{=9<ϣ֧e? f,Ӊ5yp9^ ёL+n+~ 0Ⱥy&q8x ͭ;jX #S3`Z,f7gl Fcp-bo ŷ\hf;F9j!F3 `45I6͆GUu\ڋcFLŒ!"*\1S 2M<^EXh"DDhڛ=i"Rt?P!Lnw W5A=&䲰e~\D"md2p;mQuP=c22Q8:ձ0@4m*P\UE4YjQ|#|%Y"Q&LaL彶 Oe>>q5 Qь UAM.*&S0zl^k~j+M8dRP7&ULf2cvLʦj6b:eՃW݀!9tx0@Ga2Xo'm͑oxzzqyGzM&@PS;cWq! Q$"}R5_TxkMm, B-@QPEQQ[@iR=6kdbM,Imʢ..ŷ!vE%PIӆ]Dp>ݐMD,hRЃ*&x}دώ_YV|4*qOi~*(x4)=-P OѬɹT SIJ2L "ŠD# q0 L( G0=~3 (hvvNa%WL*[e3&)jTQ=Y G^o49#!U´ :?RHAī,1zB]* ခ+HeDq{ϹB ?s `+>A&+t*iτ?7}7uxM ш|V^Tpla9|ZG`"u3 ~) Hl|3"})F*!DOLz)k:7r^c \0@wBA^n#3z,fȐ3/lHEΊО+idER- (mp\CTAał,<`$(;5A^bQ)nz}cza'I Є`UrD̊]ܳ)- \{odϔ9ox@(LoE:>43 +V>b1^BZB3!P1MT~%]!Twt飩!Dvb2hWT>$p;Ł8$&N?0F8Ln(6`i<@h`{B[/e(RôTg~ A rIW! SeiB*c2WHY_: FձeּƻWG^geA\@X ]slR+m?jSJZ [ g E>A ! J̡)&.NQHoidi"֢%pMhv*(`Ϩp$oUsĴf}0 9KS7k9o8_!5\rڨ8ܓs<E;x)P}ۗntc|"2sRؒ\Hǔ0` hkpq@,:-.ZoBϷL5ȕdZU;ŴZ8,+OఓCuz)jbqSEx֤zo[ζO|8`A%) 4BejnT^W}B$oƘ$ қcfUs,Ci?SN臘 mhbzQƱ)Y%{\z/OkՀMН` ܚ _J<or6tkeDitr~{+ ,RhkH?VD+!Xyt1WAYGJW ! ۩40խCNі;M*kZzBL2A 'h9tDG%qEswx5mhGˌc8 ^2٨fhոOB$Ύ]lMQ]ӀTٲu"w;9C,JZ>v.ZWxyitv=(`EpqAvwT4K8)vo* &|CqT֒5聗T#%Xm: }o3CK\-pN+ lϭ#.mdv| uBN"SbSķԵSeg-hqe5ܠs&9%߭Đ}Mo]Yq 5S1UZBBJ4YcRN*"_oPMc1DX|T+K<-]Y.Yʬ",0D ߎ&HO>Ky Z_S'LZ;T۩NHp:CIRz LNҹ- WP~D-?< +_q)s  N|8delgV3r2 ~[F[ R3Q#2g9ġ䕐l⢛q(Wz*X;*iAM+uG0i)[NJ%eD{.ȐVzVײD S- t}Hp\,do"B`9޳SnAUԤiڛ-KΙ/gjg1I qWןh}$PUW U aPqX)pV&M^TXxɋ6a!OrKx uK#1 >'߶*}#bᓛ 'T7$'3:ڬz q/"ҡ64xJ9; 4R;'e߷whi8o[FZ$>@(w(o졘*MxV .te!{nnަѶc@Y˴yEel 7b9D,,xer g3dlIJrq絣.2/YKwZ =nHli?^fZnzzQq2Pڸbۜ} :@pn<*h:3J zO}1 pg=ڢ %Dxq6fh{27AR(5euvsad:m- 2"5*^Ђ2at)lrXNaƅ 6gpL/OeC*Zbb~q̒ЎtIFӔLfE2psG˵=nZ/ѳY"_\zo{HJOO.cp{ȣ1*+M=iuRP7RĎݨo޸>LtQEflU25*ޝMN\7]i EnpRL:A8`S݆:*Uˌ(@>[tjFHUa14I @ #JԆ.U)ތ.;Ё_q}h/,Ed5;G+`CKVzfEIgai|3 Til$t5 #hwsIQ C (fzk,U2eKa>aU/V.ˁیm_1S?(bLn mUGh<`͉:R+T q'j:6p3nmy!|b7dA>"ƀ{>ޢEZVY[хbL|=jS DžV7=?( b_ّT@#^ u%@~\1x%;Ahŭfm<#\w91DwtB4wcS؅ya..Ah:m{H:Pц sj Or৸yLl< kz6"5넪`{c"kq`)LĬ|4,7CbiOegQʣ iW keѸ!4x)?%E4]d`bL"檫D97.@h@R/Lyi1VKh?.QCr X ΚAQŞ .+'=EZGG+X*Fpᑩ)·{K>ng\ʳ%)ixtʜ{ؐ!O-$`F}xW,<É&NIT SO(#Zs;E} ߘ2ljn#0a7T\}>b|}F(^0=]=&tͲ'u_ /5FҋJjB$ϯ+ZĬZs> hcT{r+ː͢B Sa5{}icesxEY):g+C_*\bI :TGWRɋ+ 4dEBQP:4Cn$o`_,d́F.efl<*]FQU)$` 3!6_SmX=,:#''t+?ҷfd_+.#z ~"ԏPS4uYn߅pJ'CO(Q1vT7j= ILQٌ8y-8Ƃǝ(IPENu ~Mo(lLv8d|L uI~E۠9%+-r=DoJeI4_uZro3=x׻~W?boO()%jB!הgf"Q<1lt'Vj-pP*-ɘ1=EM)hy_c8`X*fKAz`Rra-I;p5@A0N1^Vlep2Z<:JjQ0e<'#3/y'Sz(z?& qe0Rޓ98M:KSII/cź vq@I?F!|2?G<=eF8}e#f/u'(? (w 8Ќ>(!Q~v@/k(ZdZQUon1Zt(@Z7 cxhʥ_MEڜ?&80o4s-c#Ɩc w 0Q`*ِ/'`^;>aYfB(2G~u:TF/Eg&ECR r:k@RMY, q^Fbx!է#Vc}W y24[F!BY^y &|be>ρtG|hn)Oā5X?r!" ¤8b4(`Y´jId7% 4*zJmB)|0}f'\*.适J5>Z Z}@ _]3rw2S}! 'V(ST&'O@Whבұv DQ|]K3CY84 Ds9 .Jv[@pŎ>PU'')(򮪉Iq6[QKs%J$$itŃV;]ʖv'C=>m+Kߠm3ҮkC=>+~jx3x"r=B(IEc>%ë^ _ZJn&Fu%pXx8px{*.9:M-.u, ־?%ړO~z7l~nSXEu5x8G~I\} GUȿLxa |& q>R96`'}edb忓Q=b`V.7~ĸAd?+I ǕW#!`@3v>e 2/VoZ?Rv$F%HsgswfyFvmW)9Di(Op\,^NJ%\'YX )‰{V )+͗mզRt3ՇC7~\8:A6ØV *^.\L2gc(*A|ky) )r^),G`0F6PY h"pAcu[\;h^g0>QKX-q| U.KnҠ;!(YH5_H