stp-devel-2.3.3-31.fc40 >t 6 6_6`3!]W>D] 'p~[yeZ 'p~[ye {R8c3S$fPD]ιb &mMn(B(Ƙ^AO?+(a6\P}Uk.^JZMQ/BJYdAjRQ#"!\-UȝQ_@Tl2p%j; )5UzꛂΊ oId{QZpn5SPIP~ABJ|jty'%YEi] /g]|&CL!DFI=Z0#6-" nEy l AYBYt )||/i\YpXqq/ F  D h/b7L8+%7:J d=zb@|hB@p1 r2g|\LP킳7Ӏt=H,P%E <;ٙ4$u|,n*%牵e2~QZioe151907bf3e3821a65e19931c1f702403f58ba72dd7f2467e428d6a6818a73295daaccb6aa901340cbd4ad7345b652e39a4d859e030204a3204a9e004730450220457d5391b198cd188f9413dd5a3dd101a214c51ff342f0df298290a04a2dac04022100e34eed7ce7ca8341f8261d554c601a7fe40ec267a03b68fdb0edddf8ed9e6c02030204a3204a9e0045304302205503c5bb40a3162d2528d795e0a8daa2d8670b4924805183787ab72907ed95c4021f55ef173d9a2be8e9c9ea6f9df27233b2d3462891b3d42470ff145146fc9d7b030204a3204a9e00473045022100e70cff860a7192ff9a4c43eca3d6a65fe73c22068f25feea1f29b8bc4e35ea610220684a4b5d813dfabb2d876c08dd4d184d1a4caeb93e4f4c1ce13293bd50f8a7c0030204a3204a9e00473045022100cebf9d74a2d7ff9ead558839e32b6bc4824174c88fe8bb7713808579fcc2289202200b20376163bba78359f2d4316ca9f04de9deb670f5809137e6b3905502c0068c030204a3204a9e0046304402207dae0559825a3f45de27170b2fd05e89532647e66a3aeb4129f177094298fd0e02206de0b4d4e8f843602c764f5b1547e13966fdef718110d3463b0657190d050f2e>|3!]W>D] 'p~[yeZ 'p~[yHkJF+q73V*=)^ xUf {n nWW<< KcZf~03" V`6d <0|Dt1ﯸ6Ѷ߀$9{\#Y#2L \k>0p6}%) fB*17" jսtdQhd{XL{Z;8z8gkvxLaMϏm>N7WKse{yH(=O Wb&q 1\Ԑ.[UED+z_`EF קTX_#J11r jnoVPn-p Ӱ 5d0 YH^ q# P R"PTNH"n5WQ7 `e[-ax6 (˃J';r) 9s,ndZ@pbɄaoxB:(OUWJ ذ i2J) WϬ>`>I?9d   Y,0?NR am    < Tt4P($809h:FG H I X Y \ 8] X^ b $d e f l tu4vTw4xTytCstp-devel2.3.331.fc40Development 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.eYbuildvm-a64-20.iad2.fedoraproject.orgʟFedora ProjectFedora ProjectMITFedora ProjectUnspecifiedhttp://stp.github.io/linuxaarch64QmN{ A큤A큤ek\zyekekekekekek2a7de1b81db8b872ec0b7515317b831eb2106cbcff2eac3971c788f21226cc5e54357ec9f88ed93f3577c06b457e42e44503dbc55021c66c5288c289bf55344421a0242ed821ac8e048333f99f3701813cef7d8583d22a78b07678018448719cf8b4ba779213541631a2886c7609df08ccfba9f5e228692f760889b3b0014d4791c9682a158032ef48949a99d763155e69c0c1f9bbaaffdfe8ce105a90e61137libstp.so.2.3rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootstp-2.3.3-31.fc40.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-31.fc404.19.1.1ee6@e@eeoddZ@c`cccbb&brjJerry James - 2.3.3-31Jerry James - 2.3.3-30Fedora Release Engineering - 2.3.3-29Jonathan Wakely - 2.3.3-28Jerry James - 2.3.3-27Fedora 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-20- Rebuild for cryptominisat 5.11.21- Rebuild for cryptominisat 5.11.15- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild- Rebuilt for Boost 1.83- Stop building for 32-bit x86- 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.782.3.32.3.32.3.3-31.fc402.3.3-31.fc40stpc_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 textmagic text fragment for file(1) cmd, 1st line "#----------------------------------------------------------------", 2nd line "# Generated CMake target import file for configuration "RelWithDebInfo"."PPRRhttps://bugz.fedoraproject.org/stputf-86c465aebacd2a52b0cddbd1567a7dd27d7720c841ec6c09472625d067e7a24c11ab4a0e022fbf08f2cafafabfeb161669b59ccaf5acc0383372c4e8f335b5deb? (/hQ+2:& qV1"8'hcFEn oqpF@H@ cIfM U㜴vx]yS˦ @?SyʚD8rT~ 4b;fZz9{2jMs:ʴ結^kzgӊLI%]U# @%v3]A3&F 0>CIfIi2XCU8Yhr;1iw/{.-?27ֽbG'GEsB1imȣ8dz鶔{_:(zw=KW23kK-mc{on)khzSz{# Pj j}UUI_O+[YZo UޭQJ@' Y VrBWBZB˰M"uC3  =aϖr H b0Oz:.B $<_v_nWȱPWLC}RKvIaRd)<"Tf_⭼;/;{ƲbײRjʞ{OVš> PٵRǒ2_kJ#)H$"$H;9sK]_d§>yحS bbe8`TeJjzgW*CZ*[ݻ]`O,/ci4@pB+nG}K ⛤5e j,oH_[Fz pLލVbee/~L%Ebފ4zkoVmyhgyzZa,z}(Z%Z[; :L鴥 \ؑ?VVXZڍz[6.y=ZxT [ E,~vZ+A'.c9A0[C٣w2lZDk𧻨f)9# hX;lCVilݻ8YSd.q8NzL)b΁fPCP^P❼ ^PLnZ|mQ\XB^r/#inx!x}m~P{8n0ΘiqYRq_e'}ZYǞRJhקm( nlv3NN)8A!eR̞*u,v )%;~|1GeIhK;:@% }b3>zzWr Z-;Ј|KP]դFL8zѠX9bqE+lxd*Q]ŮyπB-#bmt) _<):mǣ a33Ћ[ WRq)TW15G{F`>!^Nk) "Qx_KXQUgթGدP [ P 䛑BD R ~x1}m+T3%JKaM6mݬ!?"[ [=O.T?M ()Np ̜[Ke#Cg/5[L.;+'lC ~hz<'X`q4HXD^0 ڍ;ZX ݄Z4V۲4}cIjǩdѾ-f?IG跐҄\`UR}f_ÑKHaÔ9o'X? xQ=dpbnO cPsDphe!l34 ɕ}?JƲ~\蝏4*A|$Divbr 4ŁW>uԜx&x`2~v .nCraAl숴=@0^e _;?/T%szemzf&mnٔ'+z^‚ br_J)7> QC~m]`Os,ծIĒ(d2D?Fe"% r--mW?F(thL\ ea'ˆ94ߺ (tt#{bP;|9ټ[T˼ɻRi* ;634C |!=6r4Lxw~4Rn-G:4!gzMN6*,M患D `2( }c)x1Qj GD#՟R2 M3;:h Z\?<&O|>gUbϧwNHL- ށuCu*{/^qUrxP穐_/K[Pn.Oh$ Q Cuh.xƥM+,&q7 AܛhV,?k}USNn$#6QmXWI#Ʊ6Yx?\@Okiˀ{܇ 5Cn?_NɋW#88Vn$,Bf?ោaQ"6CīAc.ƙAYG઩8IpMyN"aϝt5č{T"z0- k3M*%粛@Ÿl(F?,A m [I1~pYV٫!x[ċFlU'emP {{8ϋr9tFgɕ_b3l_l{/ZԦwKfƿTd]ߔBT5Zc DR|8֣Z9;rĿFU5<l:-,zE0Hhl^COvdP VHg MϠ<[_cUaZR[l ee0!XeF~ͷ d%/BYWN!D oTp6hB|>x!SxbzkѤ&E`֋7)6ntũYA,\j*7ǢI)$|2{ůs=#;P zR[`0TOmUtiqRrnxjp8 ?)I<!ScF3m.!FQiﰨKwN~\T%`" I ƏIT9)\)k@ߙ4'mKw|~IݜaCr2jZe1Ư<9/\d9?tc/bv?CA%[iHdf"޼9WŜ_WHdZ^VCX~:lΌ€7(#5Eb*(T45G8)pvOߨ*&ļC5胗d@qhq)hPt(}!dS~@ Xgwծ+ AvlG.-6aUt$c) xu1QFWbMb|ŧ'8`XʊRs*9J}Ej+we%/g6Сb56⬰sYRxJ|5Ebm1d` QϹɷKo SzĜG)Z;#qQݷ[zuwMȕ!,-sctR =U_.|ʥ f|Ȭt$rzw%;|nq  /6 g fNg%ڮIyN'"QG'ʹNwDdd'W}F`{ !kULIY-Ȝ3FO-:Kg,> >Nܦr yRJjDq ȋhh!YTݽ51Dx@t`<սv=,-_Ծg$.8ץڗ]"q3?{¼H쌳 ٸ/?uc.tJze X^Aށ 6H9V:)rh. -&hYsZ~Gc btzl/!.t}D2:kGш#,C!UWADEP]rMG@(R.AHs>{Ysx4y[a[OoiyoᕏխP7 2(_} -9:IJNO}NHvwf65ggb&^R6:fzەF~[ n4R'`ž9Ywo8i#Zx~A"<:[RTߥdS x: c9y>75h~@Wt˴: E eZO., r Pm_̊Co2\ϤU% 8E oyFzHuX]s2T6]ԟR/5v i|:wQ(a\l`&NE5qC@k4g}%a'\QAXPՂ K־~S}" }G8g3ת2'E{$ߚw:]vadojCqe2C"5*^Ђ2a1p) krX?$IaDž)60$gO"X>J7+rx3ab̒Ȯڎ䈌&& fXO˟.y&ܦda _gq:|H^@')R-A9Z(d"cT49KAH;g~py}\43.sWE)U  Hzwo6n79q2}.u]mFI[i 3'׬L$Z_Gџet %S+0ZD IRNPblpQn@vJ9ft݁ C~gI*?ᄓl[HjG*tfdeN8^`Mf&a.2Ȃz+krjšPFnKX a@7Z0<2p+(IU5ftMA&fDiޮS8D V kL1pB1Op ;Q4v,tm ).R$";&c o '5D-*޿b\kw bt?tQȄʍ4q@q{g;=IR pF$ꢵx%n7 i<Ѽ܏rQ.&k4 F.T #w BiCoCɆ<IvE[\WS?!B˲VbvSO)dE/q| ٟMi:YZZm++ljxX%s! ŏ^cf`eP(#8VBxb$O Uj[9Xϙu&C1 &Tt\mƨ*BQH`3\W1LjgG_ݞV^rq;zH+fII*Ve+9]|H,,ÎA^s럧n2]+ORPP9%!kPUv)}XBy٢U-ECAT=<@M,Kc? x3mJO۞IQj39Dk'RH"PV_`rPtgRM(?S~ LWRL}G?663_JD_xe YR32ff tPּti0"A2EHB|Gx}N:@9k^ALt!NC&_41x+EFr9Ɓ)0[u(ݜa O5t̀xZG ` U5@^{Y0s&um9u^E=oя=ď|O/-kV?tA_ϚG}p5ug]H&=)B9uc[nEka1̸V?T%k>1k7<)I냚..H@t,ִ@LCzQ1zF=s nHUnOI)췢55dhl"] =9*hiG.^G?OHN|7h3Ȉ7$=5IxFo6qCcK@~`$8&t>J܁cPy*K1*H*!g 1,rizrjQ~C <UDE?W6shPr<bI3LuUUڴ#ȩ< p@@W/Re9F9s 7"#цpV1YdFȄ""05ѽ$O|]o֨s8-. -'?2_&h6PKeJn%] ˣ <(%woK5.2}UžDPYWrR>aѲ|?uWٝ8&GeD^u?e, R='u)5ΰ:o V q Rh;raK~H{=3MpFc,$R_%l8Q}(!Z'X [y_x~RLCz3du0&nAw8 Vœ^!9zeΔ!y?ij̡黭p*MO&j&w}~)L3(+#,{KI=ni>t2; X^r+ x.dƁJ>֢XPC53:]/ Tcǣ.P1ߡ5qX(`фKIK?;mlMC~,Mw1ۼc+nU#NU['cu9! (5<:>a6.͓Ieݽ:aP yL:lw#&tև@K?#Í ŏ-qbǐf vCʾ3, )B#J !XL ce1T5J6|О݉5Zā5~8a" Bg>X]5(g.fdw%fI~dz6iB)|bjzu 8'a5,gt@]%=Q@_8r;9S ~!G^T'VOQ6.'OڪCǢȫ,''*ETr/qx3"aEQk>'^/i3O,1|2shq(zv-/9\ $ nx3>'OjemOG,MQ%1axIua88B@8Ba.L$ /@]>RnPr}ʫ''f"jxq)W†wO!ҏ+.'F8+$fP}K9 'WNYZfUUxӢ#Z 'K_H)Xy\q  I 3 QvN {\2ZE8wb,A)|KYukoLG VshLkԄ6\-@e^i9A&Ꙁ{ Z2bxMt=5]<ݓ ;4ːZV< -׃Ƙ:~^oẹ%5;ɏu)bITl~Bq9 !]qU=7XPvF$YpIџh0|zh::6҆H6b $L"puK.\$b<^NFip(J>l+6 kZZƶbw,e: }a[R6# `H =bR/Ė|1ys,"k,, Kn+J}eOj}7dzMPEy&-0˕gH5V|LW̃@C%>sg;2pjϖT }WZ]"osO`}/> =ʽ4 m{xN]x$@T