symfpu-0-0.15.20190517gitc3acaf6.fc39 >t 6 6_ 6 3!92d LuZLdŘ; uZL^`! ! ]Z)&0P b]pЀ)5Ed,HFhv>b1iD+(S,)5`E8E4ABYkp+jr1f[رO\x#p=1h-j#3랂wEekvS{})5: cݔ sU:y%bwӆR*= Re^[yf'm]ClxEz^[hc„ù4 2GE꽞+6Lq񻟶i[iXeSt SF[MV n==}ψP6Vw|>6-+#4m`$=R"p`>hR6=O u5Jޢ3]ni*Yg3ҦGHf ڪ^9q l>vOB` Kzrc%p?SFlw<<"v,31539a2c9e39c80e273741a9cc58f55f33e0273863c1a994672345ad1f68371bd7742b824a927223108fee0c721cc42eef249adb030204388b603e00463044021f5691ff25f4c8c543d847fd7e4d56b0e087b9a56f34acdbe49336658263b8d1022100c027d3c6c29dce68314cb7a743af55468df56c4408eb6a97385faaa2cfb43459030204388b603e00473045022100a35e16a434b807e12d76adddc5bc1013238f8c009b9297dbb5992c3a75084b0f022019e67df382f0038002acd02efa9571df2dcf2cf65ea5ad0f26b83e402d1d880b030204388b603e00473045022100996c80cbe6f7c9bfbff78c9bd4e14730ce337a847b2efeb0dd172878b774d0e9022059067fab3f1ad474c68b541ae5e484c9bfe300febe0f1e3b4415002445ecc8dcZ3!92d LuZLdŘ; uZL1[g`Sfĩ6UuZZ>E.R>d#(`iK08ly CqnϨ}@l:MέߎE򞡶86LmWwݙn Dm7I GcѾ z?cTOK3c 7?r ׆s3EwǵaҔg)s:p.X.SMZѨfcfK.pJH'2XLCc1#63*PI``>? d   ( _ 28@ d  v      u     6d x(89:G 0 H T I x X Y \ ] ^ jb d e f l t u v8w x y@PTzCsymfpu00.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).d7buildvm-a64-23.iad2.fedoraproject.orgFedora ProjectFedora ProjectGPL-3.0-or-laterFedora ProjectUnspecifiedhttps://github.com/martin-cs/symfpulinuxaarch64(8 _KAAA큤A큤dddddd\/d\/8bae81cc0af45f836c17fd0fc77447830d779b35bd2f1fbf8656d5a60306ebaf9c5f1e054bc8e089525be9bfb4e4020e7fcdf2186958cde39ccbf396641374ff8ceb4b9ee5adedde47b31e975c1d90c73ad27b6b165a1dcd80c7c545eb65b903../../../../usr/lib64/libsymfpu.so.0.0.0libsymfpu.so.0.0.0rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootsymfpu-0-0.15.20190517gitc3acaf6.fc39.src.rpmlibsymfpu.so.0()(64bit)symfpusymfpu(aarch-64)@@    @libc.so.6()(64bit)libc.so.6(GLIBC_2.17)(64bit)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-id9fa08aa01acdf81d2285b6a905894e97e1b7523clibsymfpu.so.0libsymfpu.so.0.0.0symfpuREADME.mdsymfpuLICENSE/usr/lib//usr/lib/.build-id//usr/lib/.build-id/9f//usr/lib64//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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointercpiozstd19aarch64-redhat-linux-gnudirectoryELF 64-bit LSB shared object, ARM aarch64, version 1 (SYSV), dynamically linked, BuildID[sha1]=9fa08aa01acdf81d2285b6a905894e97e1b7523c, strippedC++ source, ASCII textASCII textPRRRhttps://bugz.fedoraproject.org/symfpuutf-8d740861d9b8528d3a04e793a7fc468eec99a08030a87907f186567e10cdd356547905d5fb8a8d00b6059d606635e87a5eb4dab8d4ccb4e24d43dbdfaa14a672a? (/hLcD@YK%H )L_ˆ^\s`}aufMJB4k uhJ9鼯uR+x1#Ddఓ`Lg ZݼI/97VgyDۍI4>fe&HlT|,sBtg%T8H\ᢊJ>>R Ȝ|H@梄o@>eq6̥!:릩* < tp" d@t>8҂C$Дkc`my08 [3濟5E3#>[PrIz>L-ۮk }~ y˶]$6@/}/.ZozB߭ڗ*kPno|D&՗qO/ iPր&4A>0b?SOkOzJLJӡ#&jΠ2O ^C^2Dlϭlh0_A)O/L Ύ"rly\kYcuxo N'/)M){E,DB}ZM;6J{h : v3]-sގ Ȏj*V}ls?b z_,M*F:,Xd}LEp,}_7&Q mPԶLnFzLo4pU_/eq:m>\惃䍸D/+&n`5{MM@m u>|}<㴖Y.6*xܶ_'r렼:{46b= ܦ*>N3~3Ӹ؈W=`aM=R,QL3|X"8ߵj>ߵ 's`@fzp1ϛ2™=IA4BS QKґ2PH ""%D"""I v-}cֲwr:|aEnkqqfFbXF̿bV,}1O  R$#Ǒ4wjGdlsLk1 tqrvbnvGd8F@~HnZV_,]K7/ etz}FGn7`+8dx<r?kVc&/,9MsOݽ3눟w$v773AprNCWW|:z=MG#<}zv_HV)A*Q7N(oJhRMlR[Ǔ:w9j{cq54z/6+o vo*[Q48 T%սƌu7rGZx9sZKtôNBpgGS sdu|o, nܙoBHgý1BA`X0_\{eF]QTц[pXtVxW7yox>'[˔-4!Po}?%^`U vIVKq*\0Z jqKӬ,%FhǼaVclA`Ihۉ1(,M󍁴ݨrH6 :h`r쇖l˚յ<ޙ\$ WzI.yV:F:],Ǔg^CtXta;xj󂸥4ʬjH#: NO ;Lu2]jd5p/'Gi@uq]uf5S a:_5HW.uЬ̿O6Wܾq*,gqs8 m"BEܰT[ZWjLt]s⪰5ksAzz5M:FK u]Z K~?W<ᭊ=)Qߟ9ETvIdMi0\vd7DHgw+-SJQKUM>䓬k[B;b"{ i[2q4o!pn{:b2L88!ګ9Dux~ |+ kF'~|?5&GYF/XYXlilXoX>= Ml 1,MѬtoCUs[ )Wʮi*"a?S][e@xo*uI~N{.7'fw,e.ba.i<$4v e~/T&zjnmc_emjUtN˵]-XiW<<%9WQ@C;Tb `6a^/3$`ZZ6__qZMa&po[xG2χ4z(Y^ܓq mC8-:1d2 ;t!#BO08pgu(CtHh!?IBB"oC"Vmm- .AXɸ'XT9!9.3x&Y}."k y6B !'/5LJx[M.Ǻ^Ed"Te|IAhC-1>yb#Zhqo1m/@s.ٶ,LT 0=m:HA8ඤ!%Q"*DxX}) XCStQ.PoMQd9$u\ɉBxa) Τnؤ VñITڃ#W aa9%+3$+Q-HR %A6@s8P<%` K. km b --W4ax $zzw$m )z ';_OjPɸS = ?1 =ZePiùN`&++]"PKUp$IK@4c. 7)UZdo~!sӹM3^լ #LZ9JyCǩvwwظY8 8ej7tMC?n|y}'C?_]~[(BܮO;DZ8ޚKG#K3pL_XdEJN`O1!wSF8 EAHz08e*Re'i}ZVhQ,+pt zH¸K24er|w`O-p<1J _IT;LZzH($0'Sݝv 6 miyyI8&H  RrFcoir4FQd.{9Nm1",ȱFϾ#hjZE>[ä#D 0H?b0&bLwȃ^*q񚍎mk}0uԾe-޺u~ګq\4S:^a999jglWTr=g͡C`8 \掸q?۸z,Jw1 $:Y\.g8-;[g83Z:X: el~t|{ڷ՛kl s;NE87Nso_ɶ}srkZw>JI^样v_?Os/ұEH$RKPSG" %b A)"#"""(#)Je ć#nLL o?*t 둆 SU)$S1CPB);H1'|Pk^0n1uL=1`g&m2vR߶\Qo2 0| 08;ao&HK&0^ɛ_LvX o$@ MSC 51# nFJ [NAX756W~GK{8 dxTW|hiRo:d[dyy *Y¦ v:ut* +m8'h~fC"dIԔ@1/LNV&R㘙bPi}[liGqp'0‹FIu#]Q:MB)f#fnT_[4`s3vށ/ C;#a%csA`<@ io аejp*hO5ʅ\+,(MT?05y cᝄ(NXPkh3g5z*!Ѭ.U8 bf4h=X6†iqHbE8ؕl z8[0mJC, brTd;OSÆ`ʞFsxYQ\^[h e՗`h\虽<Ĥ[ﮑiK(pN`+ɸ~WwWpI 웧8P?^QYO^<*? ̙ͭ{0-8k,ws%[Bm 1KxDi,{s?r0DCV%ܧ-0}^_XW;+‰~9vOWUs_ a.҄1-r5p <ٴ X? ZiT_lV"¥mq^rm2[B/5iڙ49ɓn:x']45*K2gW T?", ptiUq։iNÂ3] j&h!8ޣ$*pi@*%/፯7΢}O k4AjMA ?}tCy+#@:GHN#uv UÜesjP~־Y(T' EᲶZhI i[QOkB[ Qh L_2,nDb\X (. !>[_m;Jժ*2XYyY>[zMBazn/]cp.ArØ˖O:S>iq7FzZz1g$(];;˩5XR;.F&QVW|.[)QLо )I~VFI~֤>7],/{kf>VA.A?VrBHi5:#?#C\]01"RY&RBHQ I`DDD$I0LQC} ѩ o'F:-Dn[fʠ_zMC{@Ή2<ք2mE nz{pgAci}IHɅR$=Ex k}Jݑ0t+vVldӫ} /B[^\,{Prfa61/(\#cP9a de1#s]:Kǝ5HF# ]<)f. 额fқe9j5Z'ӿ+=lRb>.N$ J7L/b:,wwx9 (ˈs `$E䎬G!I,+&o~ /#|*j1~X>] Lx)nr"pq¶&w ט C,@ө0"Bu 6c{Npݙ,\yq[cFBoHiR3 A{u: b )h,Ir 7tR5,0.z=H˿eIU >h@ydCڡ=}~6*Ki`.9ATzs7ˊyoy4amKϡϓY3tݏG V_@;Q`E1 ($E 5PO/t V;ģ2BtrCz(+QR}5 -4DTm% WH)d?%֟_RE M 7VG W l5uxl6/=~L5l:XS*H怾,# ~"_)w u+Gq29wR!é1#Y;nv eBUi_A7whV#ۘo#D-9z 3Y1ileݭ0:`S xsz^2fQSRdNέoKcIT$2J \R \$']^SHV~ZR,Goݷj~& r0  N)5¦ҩǏI6Ì{xs$Y: :e?IvD)_+z)R8"vR\0qB*0!,fSZ ﭔ=uOn\Tqw>ZHl@)Z Ec/%{^ɗطw* B\(E~Ʃe`'νAM8n B*×փ[I3mg Q9hmh4=Pg~,f>{_SO5|ب߽ϡ]V_}zΤY|:,%DUO&)cO9C s Y#3̢Y0a n~gJ2Q{_sx4~S◫Ɣ)irU͎Iɽ*QѼy8C,=Jt?yIxE,F9cQ|KA`o9niI=_:щ8ppj1tFgo @mƲG'bMm6%y"ُJ)%'ЖIhW/)a^ NcPudH5f@$h+c6bav,JS! lNX bZ_َWy]f^>1<1{1EӰ I)%,&Hh4Ƃ= ;eU@n4ZkK.%^L# .*v"w b) k FRFB:枖_o,sV;‡*Z{GdӞ-"+<*#U90ۄ"ݘEQDS\5p #R?``xOKxgb1_,y5wU Ꮶi;,y@)b DfFȘ>ю1Ddї/'tX3nߕ5toebU-b>:3p: m F r5[Ȇq!}9t|ZiB['ݎWV^D]~U&WPAeӊް~)`R5Yl}J+ vdJ>2hc ?bͧcn \^2xټ}EZ\$!zDR'Q6<ΏiKH ߉p5:eCge"L0%,z֜=2J*l 2_J,%cfMhòsSv0 r;}ƈ$bNB::8 _P Br,r łzj"Fq]D=&]X&5ZV4R(.O0j!KX4}؃_KT#:<-Skc0.G *_=T*/USUt??)z46зx]U?"Pv—m'dF!;6_̞F12}^{/w2u(Ww$CTQ,( *M8N7iK3p *E#PVݘd |9/DUa+'.[1-eT\$^ < )҉qҺ'絝Sr>Jf>[UA֛g@$}w^TamXyx{m->8t= S5Y|l2 `e75Pɲ@]ey Fm;/0GPgުM>\\K$q=}nW I19IAm6ˠ^YVj3}04ɵPœJw G¦O|R6y UatteAG]xO!݋;Y^ո޼E־ J>cV}w+1a,Aǵ21p'Sx}Krd`)DBec@X1D="pNJ}!dbzxvV,2WdGѰDƲ F$a{L $$c%[K cNx(epY"y˒4@{NYs \yInCO/t(RHAP?$<С8MmHP %r1g<:D 2 eR 1ƘkX|>}iG xvQę  ;!Ͽo-i{XnmfQw߭C5nj g.XYЍ/\b5y\=˗{4,1wٵlTi]TE8{ƭ,db8m"" "]-[B4E-ݽ-U,o傻1>oۆ*J$+9D$>:TJɡJ%zUD$iIh D^F&UjNH|UBNg𪈤">ؚ((S0*4%~ kQiЬA Vm`oKhίQťc[,7h*61R1z1(ن/4 $0ɠR/يvng]F(U$̼+lfQ 3h7'G`5Ե޿Kڥ)q? -'7 fZqNƠ$ܮU0HfCuޑ&x@DA> S)|qc27ո}n3BIɅQX7 ƃ4(yH̓-^'1jR5˅⓰Bqg$]LF!5kG~Uʧ=K>bѨae|b# Ok+m=֜]tXV(W I><'ht_EԛȮ\Q.3 0+P֠#VO%+tי͊m$Zs*'.nG0 D [dl)X=<:W(:K݄O\{QS2 i[3eƫCir{\ j6ȿxj~g2iBPzINJeЫA7P fz!_vk&0k4Xg6t!BHMG Â`^k|flIĄ5'>%^|3ZOyDܮ*)e;$g;Ҷ>y%${v4H%ojHBDXyŁsplڴ Ү"LYp͠9 ;A%0w_ΓɴC?[B2ڗ Z^#CN 70›0_ @ ͏9ߢm>b ,EE,@ZEKuXd}1jrQtŪ&Z*Fq>~w͞šza#rUɛ[rfYI)Ȅiؔv<.d|AY 9 eVxƍFaPj]thRI!Ԥ$8K7aMf-#aՐq Q6t’7]#Ԁ3q*.13*Xck._C(E ܍A5Ou +@.?,>LUX^j#~B8bq6QrVr)ze~-܉+@Ia4H靣 L@9X/BEЫEL;QAV⥆$^#nj 6!Su/jwmU#Djq >K7JǨ%1U N ί|ESTP)i0"DZg{ꚕf#x@.("EP騎) LIF^% T$8j6ADV }6Ǟ,Mbµ;]{_Jr4f)?W4B8#\Ij gƣ\zkBt^tZ1POl$̆83LBn%Mnj:%Cآ!%-ݩ^ڑ;@7.Gĺd1\ d3e8?$&[eg!ЇވA6'?8<(E©qWI s_9R~30g:} #@X (=q/e *LRHy@Rs8xGeMQKN>Kha6 NR i0zvg^׀\mͰ 9Lcxuc+s]EWZxVj ۬l+0:AYȮ>@_-015~NL;`-itm>XAPp~K_#o$޲u\ԓҤ,XK͊({@Nh[WA.u3,S. P`*|*7I[Y^`3@kJU@j``LPUQLp1l6&V6XIPXh}qg:$ėjlr)J/h>v`=7_{Cb)J3x^솧uau_8n};fI]9Os/m"> B#f`$aEvy^]Xw@p3?I Hm|DdayQ՟n>*U,,pٵ"1M(z`așif1|5pCKHW9c2+T? :iFvwL)/! A@۰#FgfTPrm;h5ߞ1L%"+xbxr,tAP RuXo$Kv;}LV "4: u: [ bǙv  ǩ|q wJ[W|v薪58Ueۻ!zV>ke[n1ӡu* :79mxtV_f lOrcL=ާ:XOIu>-Ȅ$ڏf-Y.J1IV՝J[ hT]cqYT.sX9ͬЧ\HJa+y7pKL(wJ(>[EnخYٷG t<†69BQ/e#[}ZC2 S$59CdUMo;]E<ܠEzվXZ2$qL.D8a&T mp}iDmF% atV7;+ `KUoV2H* QLSm;!d_4Ia-cC) I x{Vj @ =i4|gGrI,v榨MCٜVݬvP8FIl]ƙ^bCϰ9s [r毇Upk>>ebqGU1?Q@Mԡ6X: QF3P)LKO'#'i }IH):4ԽBMNBZT fUs'@or؍CJgKaʼnvdJ'1?lo+$qޜT/:)@?ڮi <17~Z/B+ԀBfKLLp6- q&j7U5h>}SB$H(4N<Τ, q-*B=c.'*a'Ītqޙ M6=-F\a<_I Mag)$+uʢ%M1°xDj2X9_6EƳ"IKrZDD7O4 x)JI1\!)@z,ҖY1]V]~H)%mU_m3CTX 1f b{$ƸnRfxPdMmcg[!믻SQ(ga):n+6 ϡjfeAe7tiJ<V@b譟pP C% Z 4)F^RT4v{ܢhKoF̒p^GLmH֪$<.T|SI<}m"* 9W:i srn ⤙F[@ K#6乙`M1C)ܫ`(z P $F V I=wғ>, ^D9bؿ cYG4%Ȝ;$˞ͨG"g[N!Is>SY! ?@,av4s˝.B[cJE:H%#jXac4,=_CKyR=jargݐ" =ѥ'4b(W9/HQzg[ u!i$J1l\~}߬8a"cT|AA&O84m*z6lTqO%RDҸ\-2z+} *̑ީ/˔t(J 6%~7LK:a))m qSajsyQSH: Yq\AR0?Ry0H۝2w:l*?v9%?KDg~!"Ccr3{B)RddOK٢far =,/WsBz \I:|jOI=crWp$ $i6Ls4 `9'𵿂 ?XTX v~8Ld8+rSڇ̫pkMCRl`Nz.o{V7`Da AxdD@oOW]y`9:" -[j4ͨvthZΫo֥:PmQ9ؘgyC u;ЧfUíA_)Qqʔ$U}I= XO٫w| RIUÓFs :wgRв&`V4jays|Nw9f]qїP3'#TToh&1"6tnmgelӏݲb0*r1i!<% آC7G'!}D7CJs")DB\궋JbbeJ&7^