stp-devel-2.3.3-27.fc39 >t 6 6_6\3!92d LuZLdD6 uZL]0+GquiyiegDPF m}{򂣍w*R?/*JF1]&zRGW+/'K: Aa7%Q_?;⟃ ,mìN+,Zv_Ɋ B䒵Gґ@]X0tWUUe u{cHff o(g̠_k?L8j8S>LyK--/(R%sz<8f&dbX`#;d蝜RRY/rX_3j>>tZYrݛ^~FBґG^ŪZLc63*ƿ+!뇭&ƽ}n.BtuO{~3Mڌ2^]f7bfbfe69b1ef108bdbb281d0a0c9cb5ca4d43c17318120969bd3070a57a41c24634476973cc45fa4f2e18940560e934bc2fd3b1030204388b603e0047304502203f88551d7d02ed7eb75035afe000d75347427cc871943907b06cfb3d8f312ceb022100a98314d29478905b2dbf93d9528af0d94912449f18a1287cca58c4b2d9eff354030204388b603e0046304402204746cebc8bd86d6dd0912d1e6a8f49f814124c26ed284f3b0c669e03261edabc02204ecf94713f53123503ddc64aa7829521b947cc4540c056efbdb798fcea373989030204388b603e0046304402200400b0bba074f60c5db99b5c52c6d9764c8e2fe7d54993f26f0c5a09efbdd59402204d7a6021abf05ff79bec0592c73c54ea8670650367ab41014c803fab8def90fe030204388b603e00483046022100b290d482ad32ad0b072ef89dee2edb37bc6553527976ce3c0ac15a24f79eae82022100f7fa0f52556d6dc121f1975f7e6df0d654225569dd18a8703fec1d1a7c02a851030204388b603e00473045022100ed67ef1d044a1fc6eb0a7185dd92ee0f0d5acf01d71ed0152c19c2cedaa587dd02203b363eacd47e3c458d9d111b01b1c7748e1a6936e6236f4bdcf765cdd5f4c4f8=<3!92d LuZLdD6 uZL(;P8ʲhC,:2)Aq1u̇ηK]wމ!  ③a N^-Y*"ܩo;Mˬ|B9ġN{RYl찄'AGlmƎ5zX0 | ,"^Lik؉NOjikDdu4:$v^~QNqU}RsM-FaƜ(pYY1c%G9_W>3Rb?3z .e ZF1Pǀj5`fqM 3vlv uSÒ!{~yB@>ZExKط߼Ok2L;Q)6K@][؜ʅ~ %@h^}`> ?d   Y,0?NR am    < Tt4P($8, 9\ : G @H `I X Y \ ] ^ Xb d se xf }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.dBbuildvm-a64-12.iad2.fedoraproject.orgʟFedora ProjectFedora ProjectMITFedora ProjectUnspecifiedhttp://stp.github.io/linuxaarch64QmN{ A큤A큤d\zydddddd2a7de1b81db8b872ec0b7515317b831eb2106cbcff2eac3971c788f21226cc5e54357ec9f88ed93f3577c06b457e42e44503dbc55021c66c5288c289bf55344421a0242ed821ac8e048333f99f3701813cef7d8583d22a78b07678018448719cf8b4ba779213541631a2886c7609df08ccfba9f5e228692f760889b3b0014d4788f45ce30d35116edb8151fc459ff426a925e1b1f124799a012d183bfe9ee749libstp.so.2.3rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootstp-2.3.3-27.fc39.src.rpmcmake(STP)cmake(stp)stp-develstp-devel(aarch-64)@@    cmake-filesystem(aarch-64)libstp.so.2.3()(64bit)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)stp(aarch-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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointercpiozstd19aarch64-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