symfpu-0-0.15.20190517gitc3acaf6.fc39 >t 6 6_ 6 3!92d LuZLdŘ9 uZL);UYR*/Aʁn3#u5@ 3(kg }ٌGYM)Oj^aΡ!Ɛ-]y/2B ر]OBDB9Y#I 2 ,^ZY 0ZxRszL5;cJnN6ݳ4/B}wl(_TeuWϱŖfNfVA"81U .OESqS"z0 Z96|}bf;tB 4ΰ-wvB余tKv#(O:|&1\Wtcw\WDviHduQ̉ӭTT7.߽N \MHj3.φTHu&L aӗeҩRKА(OrҜ+ʥx+Q jAӏMTa24ecc73948957270cdcf1c9ff011bdd9b39f00c1302c964455b638a4242c21d871498005ef1e124eb6415d43e2516adcd48122f6030204388b603e00483046022100aaa5682dcc1d2bd4c0453c15a4e86ab38e2d5b6b872d1280a2264385936778a0022100feaa4289f79cfd0b4941234bdaab191c52b9c024369f85d08ab1aefbd8c5cb00030204388b603e00473045022100b4aebe12c70077e5ebad1871a508e4422379270f8f9a09e30b691a57f2ae2d8802205b18829457994bfaad122e4686b2d6d33f13e7c37ffbf9e07d626451a7ed14dd030204388b603e0046304402205acb404385011bcbbd134d36a158bd7708bc810587d722e98686ef097a1ed85f02204617c9a7a790285ddcf08203d1b49f5c80cac1493e2f71ee7118313854c37821_3!92d LuZLdŘ9 uZL2Bu82^&r![+7H!`7jv]=͈e+@$i|;<G@L|HSr 4ڭ̛zQЯFu; P'8[1&Щp;8ma$٪_248עIvX'+x}};8\WX~o@PC61Φ#ghҽ38VLXH.ѫ3l x\:[|-Xv4h;}lOAh\e1yb xPikYpaZ:/KtR o( xn3"e|HS(㠳.?P RuBK(9k^:O^/mxВ̑LQ9  :7KcC8v[?t OTlӣ³tj))âG-(3 *Py7E|p_~wKת#1q\_zq6>`>?d   ( _ 28@ d  v      u     6d z(89:G 4 H X I | X Y \ ] ^ nb d e f l t u v0w x y8LPv|Csymfpu00.15.20190517gitc3acaf6.fc39An implementation of IEEE-754 / SMT-LIB floating-pointSymFPU is an implementation of the SMT-LIB / IEEE-754 operations in terms of bit-vector operations. It is templated in terms of the bit-vectors, propositions, floating-point formats and rounding mode types used. This allow the same code to be executed as an arbitrary precision "SoftFloat" library (although it's performance would not be good) or to be used to build symbolic representation of floating-point operations suitable for use in "bit-blasting" SMT solvers (you could also generate circuits from them but again, performance will likely not be good).d8buildvm-x86-05.iad2.fedoraproject.orgfFedora ProjectFedora ProjectGPL-3.0-or-laterFedora ProjectUnspecifiedhttps://github.com/martin-cs/symfpulinuxi686&K _KAAA큤A큤dddddd\/d\/f59e1d0f95928299b5799c58b6a31264dcaaba39000b14a9b0558c9f3e8c68459c5f1e054bc8e089525be9bfb4e4020e7fcdf2186958cde39ccbf396641374ff8ceb4b9ee5adedde47b31e975c1d90c73ad27b6b165a1dcd80c7c545eb65b903../../../../usr/lib/libsymfpu.so.0.0.0libsymfpu.so.0.0.0rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootsymfpu-0-0.15.20190517gitc3acaf6.fc39.src.rpmlibsymfpu.so.0symfpusymfpu(x86-32)@@@    @libc.so.6libc.so.6(GLIBC_2.0)libc.so.6(GLIBC_2.1.3)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)rtld(GNU_HASH)3.0.4-14.6.0-14.0-15.4.18-14.18.91dídccbaJerry James - 0-0.15.20190517gitc3acaf6Fedora Release Engineering - 0-0.14.20190517gitc3acaf6Fedora Release Engineering - 0-0.13.20190517gitc3acaf6Jerry James - 0-0.12.20190517gitc3acaf6Fedora Release Engineering - 0-0.11.20190517gitc3acaf6Fedora Release Engineering - 0-0.10.20190517gitc3acaf6- Add patch needed by CVC5- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild- Add upstream patch to fix creation of zero-size bitvector - Add patch to avoid infinite recursion - Convert License tag to SPDX- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild 0-0.15.20190517gitc3acaf6.fc390-0.15.20190517gitc3acaf6.fc39.build-ide743d69d976d8058f24b9c263c0bda73d7c78787libsymfpu.so.0libsymfpu.so.0.0.0symfpuREADME.mdsymfpuLICENSE/usr/lib//usr/lib/.build-id//usr/lib/.build-id/e7//usr/share/doc//usr/share/doc/symfpu//usr/share/licenses//usr/share/licenses/symfpu/-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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protectioncpiozstd19i686-redhat-linux-gnudirectoryELF 32-bit LSB shared object, Intel 80386, version 1 (SYSV), dynamically linked, BuildID[sha1]=e743d69d976d8058f24b9c263c0bda73d7c78787, strippedC++ source, ASCII textASCII textPRRRRhttps://bugz.fedoraproject.org/symfpuutf-8f50412b7ad35d878d111d5e6094e0236ccd9fb34441b9b5a640ff9af36867d5b486e8cb10e92fd3781d0057defa78fc03d2b1fed0282597063b1c6466cdcaba2? (/h$YF8sCvp3 |RmEEWKZ-a˖v"'UU;qobH]$ERrUu2z&'^#t)!g$avʁ4gls1_ ӀS^rC~Wfr|{'RzF{?"l^G0f^|TO9'/G]cS#c+ W+,"2k|6>r,L<,3Q}*2e)=ZEm~U~opxL'eem#f::OgytXӫ x>]Ae(&'MI5K# "u1d;|^Rͤ+GE٧i bX$em"Dl(E4htpk@+R:;4*n*Y̲iWuq]Qy⻶[p7ofԭMa7Nky<Viލ#ucа79lo\ppm+..+[h;%s<{a ߵZft&-ƿ[\;᯲4wo,mlKonVm5bSqDBx90zJI[gM ! CMDӄ㠡ijS&:_P#>wh)ۧfetXR 6\I'  aDFQ [<`%"5g=CGA#%֣+"^*oRVX h\g Hdrd=Ze-u QP01INڙNB8 f,"H>{r{s-.*n[/TkwmjݶYShs|ooxjmOuM8~,̢3JF$ 7{aa njf\hH)hAFI2lB_IɃv"(ME+:LQՈ6adX*EVTZBJv,(ny[R]+:reEZ[VUKbT+֍5iڋ_y8 a,}'cAhVڭjInEU_$]C@\sո4$D`?o92KM@ͯ!'@&,Fh_" }^4#[jb`X7Ff8Yp A^#84Hd_t<+RMQIu'hɥO~H=GafSˢ%m/||\ӛF ̡I"jK_Cli{ҢiHl7|*cecz2}7+lɾ!'DJɭ,xE:xF=l>ڏ͇bHPr`P[@o.5 P[ 4}y;nB"fI_KV9w;DO}O)_}}2 G~Ԡ"r (%Crƚ|`+#2OFVB嘙 AHE{!iٻj$*>tptDi̅ߐB@GZjBZcz6jͿ,cʅj>Z?W6, Ħh&ei0ˆjZ_ Ryg`φe f9G핗<^ E9|em/OOoS(p#hT, !4=RFr^OȬFAQuR<) Y3rZG~S(N8tz{{Q5ΩNQsAlsR>VHH_2sz,Sm㱐$z%#$bD@Q$t"&LF/xhbZ'2@¢#qT1N+J|vUhઁ $(xZqE31"}GDG  *>s~$F^F3 Ynaw/"ӆ@64VhgцABHV UCK"L;h@L\13VTšH)&3p!s"N!TCV1*lqHR6AB|7?GI4  6^#:JyqI@܈CEMV790!( bz8vqR?sB!Āld`MW]V1#d]ָոC~φ;a9T$C lEH,ޘ>]q[ a;t#so/zedz ۷pw+|nf`,Vn5hx@`6!,@czUNZJݮ[-ƹXlGT6%BnD ߲#d^P_$ei74.ݝ8QA村l|2chX)FïfEW+敊y}29kruWAhIFe^ _\kyU7FÞ-`C"+/&se^ɘW1y3Lk;+F`h;pi)8|rG1eׅ0`EKđA6_dez<#O6jFN9Y&cq)FB)żF`^`Ufcifg+7vD_0|`L2$d:z_ML%\W 'jcɼ]$ػ\i!yub51-8fry}@9:@!y KfXIN]\BrF̈́ )C2WrLb$HwO4=sx?MO!M#Oi¨yxý#oLe sD$B& ? q*˶cňZrBF0HGۆH<!ŠC#:BD9HI'(C &pc< $tY)̲bV&)'*wt9l@nO8؞b:&6 T$s'T/]g8ZH,`RǕ>U *3Q'@ +˂!_# F$7`KgfВF7VKS*z.OES{n] ,V6n /pr:Յ ALg̋'N< __ .TN1C =|7>@w>7.E݁6;p~Gy!pHplSQԾ)&/vuuw:}GEFӊ2^A7a ͆7 eYpfP =8p9dy>F><.9aS60Bn[>K(N|kċx0 $(cqX.u 5M=IсdtX''oɆ$CҦ=sʎn>mznmft\2yX}LJf?W1{oY cv|@KIPD-Y>P6:Z],ݹ S- v&0Q휥HY".lԛ%̄ED0#gg?'t鋉~Dq|h$~ϷwM^NsBwV!LmEx3;*4o7ɳa!鬢>;ў˦4fUe\^}T]lßA5#JUr4` '&}#-Lm\.,ht3&CܑjCY+CˈfW/"%0 nכGbV束xBLn Ca[8wnm0AR{8 pg0/ ͬOKWxШQ2#'J-iϭHt?tl=D|s Bڜ^pc<5=ȋW^kjcޘpK0q[ɂI$%L#%mZVUjv&yKv)z fN+C*D ))U4F[-%)`a B9=-#v@cagZ%{[%uqw0$qbPՑKrM 9.pn+I` +TGQUƻ_Q?S& 7 ³B{sds8u,kVԁ ( rX"PZUW@[@@F0ETW͛e3,/鬎P#5f H/,>=/[Eoȝǰd-<ٯ nw@x萤zǽ(H1$[©[s]D!'|XER33Q7CeӤG9#{nIc,U" 0>8cJCa=wy3W3QCg} GK4dCQ7{p11p}[ܡ3{qC=0pдh(gqgZ3pھˌ[ώ.|KC[7XDdG =0Z:F6H>ǡh~[Yq"0"!]y,g>]P̒Ik'+{ IH#ɹI9MŪM3$4A\HWzS~)~ok^NKfI,A6z݀xl{kĚ&P=a[Uipf!.?)y#YfE}.9:X0 =hnǥq^zª=0%2&FkGꭠ[-!}9:9,R>"+b$_I1M1ǫNvQCC칈iӿbTVm2?Dana>$?@Ђ"Y!_%)hIW&]o9]uQMd5ۿ,>.-s  p Qj\_Vsr"ƒXdBXGCՐ~s*s89X# %r1AwVLDQ "ú)mk: 3Vywλ؟޶zN&_nKi,Jq= `ұ0YMh0YY?p}q?E\x<:6^B'P-I.Q`zTYG3)r?#1.L'tQ43P~~d_n2{qd+ϑ9T?` CHCx.Nxt<1&&Mjc;уUx̊ 'p{tӺY!0L zzpEh1! ,jȇqݥ})ESLO_+z׌H>P«Ꙍ/CCBsXM:4P 災kva/vlPo7ϧ!i n1e89suxxDxTXZW]: yꑸ,'E8>i U b#&:'s#UCiFX,榔-{V{&Տ"HׂSVZJCUY2:1p-Qt6n5 0)QL.k\5/*Z26\`4n GLd&B}o[Mj4ڨT"-jX'I)MPiQO=툤2ÀA]މCyUTiTÝӝÑ>FA<|~ɉujO')k// 9i5:GT%lsfUD~*ǎԣL~jOlJ\|alcO-ڤԩZz1g AYN-*zh]aβÎT=( ?da!¡eEg׏,K_:d.K& 9ywбCAmy>DzPKU B oƘU:ăKs*.0:mE%Z]~@vt>G{sle\@fbBȞNSH,Ҳ9պ\_g˕3NjtJ߱{~m.Zv~ޭѲ΁geznYfik\qR"8Ƈt^WI}įa7t Fgw^`L+ zWlc  (z Ssx4WQKQddDD ɰ&bͫ#=VMm~? C c6ŝ;ώ!Nn&S!ȡ>早koui"Fa= ckIIbŸԉKԅ9[E b:B8nF|*<8 doH36n ov:j۴q'%i"l zz*A.a$~ݏ$@lb;']b7( <dv{6Ijr .bd(ȼËqY@{=\xצrO|P9 ^3#k88_)m<.k'1Q6suL%"zm0ɛ'~K8_S9Ўhx:F\¨F Q]H*@{5xDOB3l,pMwr|-SV(OrIa 0k ˒ &~! LCR;D_6iq`Qi,ίSC+M=rj%h![z'E-Mp"+"Ӌn'poB21,sDMP1 urͳzfϖ0x6fLq靄>Hܤmgf(8A6 [yszBIkg|.Z&R_^6Y{ζ{[rn <LY>u#`h>AfSDBf uFHm0!{P2Vz Lc}H!0ĝ]טyݱnFc懲뛔L%>wYi|cJ-0 2LPfwaI{çfM@~bT:n6bC8ϊB1C)Ioy{t!! ( TtAT;3Pb!yb!֌/W=c&]4*} :_N@x3ĬfH 2%DTm]4=PM9Hz {=5(T!*Igs-C7PզQ_z s#E.M3L>i\{˃!F-%]b fUGAcYaHBO^:z1ޫoF cB5 E \#LkslY<ԃik_wV"Pir2BD ŷ w #=fF@0FYc"93GB Nb!NfO5r[g;twnM+*ĝi E". 2f2Kk~ }% C;p&zv ĵA9H(͖gE&QZLw;ݘ)'q41w8pM7C2 @S1lxV~vHCVTtBQc,n9N]0e'SÏ_X09ڠEM*yX݄@W264|\QH^a~&$ޓ RS~JoB R8S!E|mP9b1R_>wH|Tqd;[vA!K>t[~4`<ѻG<͆D8cVbd5~ซ+["(?*!K.a]iؙ`3BV~eG=XN[xߪᷡaBi=W{> IE``b`ed8DtmB$gk =m'Vs3vk]^!b`QVҒɐ(S{O<5% ^apP.6d<ӫ&*nD\*pɦqKߦ* D*N 8`#Et}eEƆî4]\12# h엎XFTh (b&%Cs t% 0znA] /eGꚅLu@o5u[߻{װs7oǸ7Ej׾b=ƌ;}|2Xp5WoKv=_h?fPNJ{|l2믯+Y{Xlm$_QbQqZj2+' D" HA >0$!k"V Lyy$`X$B)jN:aDf*+KT5)Ԃ$LIW :e0d".`DeEI Fr+̜BBpBH@ʬ*U4+)U0^4!M8I"9MJ(Ӵ\< Xs~{߲Iq֮[HH| ӜktilƆ NCWȗGjMH4$0f΀ 4+ N׸qݛl6=Ȯ9"⩚em5Z]gm/sFJjvi.m6E)HJZ, J,)EMdJR$B"db(O y*!OeETLsЪ"bFгI4QӄZLINf8[@S0c]?d'I#0EVm`/]G_7VHG♝m ͥ/6CH!"|@6lxԮhoN68̖hDDXn;h.4dGiWAĸaS00~̵ PWy[֫IOdbW/?ߏ<jc#d>Xx)<뺤fQPBS owf%=3Mh܀,oypnZq;?2bjGSX9IdqtHL-_o@5`ѫt^hWϱ囄\7Qw] f8%qK]΍s}Q8Cga\&y:w ,[4X趹h?ں4^^ggѾx^Q601atf Z`kK8GL̗:lxZK $+Pc ]NAPORo R!Թx xV@mE9&E&0@B-J;gv#F00k7m$1l菦T16 vs\^ C*y?}jSL'@0 xJT3k%R >;6VVPޯw(Z͡wY#U.+dA E+MP>4&dKUo^ ByѮP\Y)L A0n̓ܘT˓qC_Cbu@4y 3ZoZkl2v0\7Xn0~}ht2swc`EU bc."a T2wUUz=t}-Fnɧ]yͼcFxkVs]p&N=;HI1lnퟖ)I/mC*Dr1@6EÅJ tF<B52RrCb6H!8} Z@X%JoWR SI8|h䱅"~MڢRN_U8B`."*ī% E0EIhcws.B~ W_x a "‘WYMG9oݬ#@ aڒ>9% FݪKJےM?Dt8 2xo4T(y%_ WH1~k?F7vò9Fm.t6tʢt# cpJ (PQ ;$ijH4N,-OFqlˤNlLwFR cF N~E2 ;u*=A oͷ HDD)SJ}؂`k<8J+NYSQ1 Lb[fKlܴH~8QA.oHZ([9hߌخθ+L2ݏ1>2w_7DܟԨ vKvq?߫fFPs!m]p;0h"u !gn9s[o)%?ǐGzON}G0ڡnwΔv"tЙm^[`m'Ǒs)#VPq%mV@55mS{b݅NW ('OcgF\f8mgB7ok Zs d)#zm%+2>š"##U q\%J >aTK4C\#s3>oc2ư9ף| 8P]j6ҾIvN@[%}4%;Q3n-DgZdM"{uK\ֳKpZ`6 Mp?`>o|,NiXY~KSmYZ K[ ['F-Q̝Kt؂%Ñq@a:}YƾXw诇SBu4Ee5NGDXGbH&jwZj)M.tXrTsY-vu%J2C1i,cCa)ᕚsۘ&o ȦGc+ܯwzUYr@?rV73>O#C)CY\G[9gFƸPӘWUJuo<"sQ0CO7_l&b(M; hoO2M*2af69 2;]BbŌ}25>~^ }OWg1z<ɣh_B\Dll>fsavJhY]Wre{$-(W&Y!.!5lctQFv 4=iE[$U7Pзaa T9'Q{iW-`+HPnsXCy=%qa0k2Htr<|f)`\~T&_ 7n3[%Ň yhy fWה Ѿ}Ѕm5ٶlpal3I.H@=<of(uV\u(tSyseU$',wXZ sR` *v9%?nqhoG!mYCu,8q,G՗EGQpZUr֋xGRS@M=z ~\`HY!bcmH;jJn0j,þw,3|x*oI7!Dq W kADq@@b##)fLL>X YM:߼XLKT]\J~@*](m,0I?[Dna$ޛ2*I4H|>ͪr!>(;{\ @/cyI}8BUz'7VTo쐪r_5p[.$BYf-SCy$&m6,EijGehqBUyySTW{ fNo*G([[rz>%"~Y^b`m#øպN̻$:qӡ9;u1B 1W2kQvfR'#+cu"Eo>"F8 danv[ Zxf K*'lPN /AAE';~O.S2f68Jȫ|Q6 SeMP },MHbToXCd4s=g]nKޘ&ċG(Ca#:(BYh. o_KzrFS_:66ytfg!fRey VRXB62LΰIJ /y0r”ʥ,L#+nY4Ku ∗Ӽc,{duftKy#X(Nno*ADɐ-B꠰W Ԁ'tK KƦSs#&aܶ++NQXMw&.(!M^0$z4H=yuC;Aw=mK&;7fyR[IڃM:[wVp?3f LbE#bGD]0} (ybLJN0[xe:7Sed`j }tJi#JRWB]rcNb\Ran_OЩt^P-{[ hidelH羉)!*^>Fi}<[T/7+V;Wj-RcqGb:}B}mUt39Uyuh6I+ӟ|'z( xL~ x!haC=7GPgPe'vNR!BT.rѱJvYU#\ă M16~$Rm=Iy균|ɋN6Dd/z?3~c'2(aL+XշWc,Acr+nՌ(d-)|0[FfH2겐/3;m{Yc#Sz,Qwdױ#_~1m bg DI]:2Cm'i~jful+ qrF tGG xP,d`J&,H,|0~rM5*0`#PK- U$.7 vb2}0hEUX`:eBq6j"yQ/+͂O)+?V1=gz+KZq;l ~@=4,XL!+UA-e57xOضLiJ !g7@(dFag {oL}Tn9 AD~VMM?_fx8Л8e.;ʡLI\I'e_ = 2PF 5=l6B"ₗ / vnNrW䜳EJJW9UFÞ&Pqu!,YKX7r/_7OqI4f:f0x ) ~tGbfxzLLq"X @؈P&(%0F94ktD^ffuZ!\}'p]. cCz18q%w>ަ+ sEq fQmHËQf S9٥B|Z& tV*0u59и75$9fdfIY\Q- %5wM| T"<4]:DminT3fi-;L0ܝ蘿j)46