symfpu-0-0.16.20190517gitc3acaf6.fc40 >t 6 6_ 6 3!]W>D] 'p~[ye 'p~[y̶Or`RI>6|Õa& zC,ǹ$s7/ lA)&)f5|m6WS7].%n1=]gؘ ^6CGuwoXP]%%B4u'KpLns/۸/c@bSPkׅhBMV1o:"۬Tʴ$_ fBNM3WȰzy;I h\lN1 (|.w}z}.gq7ĔK 1XgftlE]mm 7ڋ=Qx)Ⱦl1b ??:M"JQ[q1_$Us8hEY>;9jiܖl@͉'ܲӲ /cq/ȨۉJ;k˻ BH8+#A43LD] 'p~[ye 'p~[yD2 P|`7>%s3p=J<m8Y):ӴÍ X:H-).~݀nS cK:dM@`67^7kJ!kPV6?X"3GƢ|(whL_0>iV_%[Jd{sX+ TA{أlH}7,s8ZÛ:reMymIEU} ƣ5YW) X1gY;2WـkK1xiG85c^z=VVt]Jm@ծLˤX k#nƵ;Ju [+7CoiIN#(hAH ;u8>{Wb40.]ޢ%jP4@ c(-$BC*GJ^YSb 叇!Tl0ԝ14Ng y3Gp ̓bߔ`>?d   ( _ 28@ d  v      u     6d (89:G H I  X Y \ \ ] ^ b d_edfillt u vw x y TXCsymfpu00.16.20190517gitc3acaf6.fc40An 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).e,buildvm-x86-08.iad2.fedoraproject.org Fedora ProjectFedora ProjectGPL-3.0-or-laterFedora ProjectUnspecifiedhttps://github.com/martin-cs/symfpulinuxx86_64(=( _KAAA큤A큤eGeGeGeGeGeG\/eG\/c26a049cae238fbed40b99f5d488eebd855332ee888d2cbd2a5c241c90db10c99c5f1e054bc8e089525be9bfb4e4020e7fcdf2186958cde39ccbf396641374ff8ceb4b9ee5adedde47b31e975c1d90c73ad27b6b165a1dcd80c7c545eb65b903../../../../usr/lib64/libsymfpu.so.0.0.0libsymfpu.so.0.0.0rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootsymfpu-0-0.16.20190517gitc3acaf6.fc40.src.rpmlibsymfpu.so.0()(64bit)symfpusymfpu(x86-64)@@@    @libc.so.6()(64bit)libc.so.6(GLIBC_2.2.5)(64bit)libc.so.6(GLIBC_ABI_DT_RELR)(64bit)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)rtld(GNU_HASH)3.0.4-14.6.0-14.0-15.4.18-14.19.1e@eodídccbFedora Release Engineering - 0-0.16.20190517gitc3acaf6Jerry James - 0-0.15.20190517gitc3acaf6Jerry 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.20190517gitc3acaf6- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild- Stop building for 32-bit x86- 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 0-0.16.20190517gitc3acaf6.fc400-0.16.20190517gitc3acaf6.fc40.build-ide3a36d805fdc031f7bf3d3dbae4d94aea625a72alibsymfpu.so.0libsymfpu.so.0.0.0symfpuREADME.mdsymfpuLICENSE/usr/lib//usr/lib/.build-id//usr/lib/.build-id/e3//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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointercpiozstd19x86_64-redhat-linux-gnudirectoryELF 64-bit LSB shared object, x86-64, version 1 (SYSV), dynamically linked, BuildID[sha1]=e3a36d805fdc031f7bf3d3dbae4d94aea625a72a, strippedC source, ASCII textASCII textPRRRRhttps://bugz.fedoraproject.org/symfpuutf-8d41b20d8c4045d6665c62c909c2bbd0ee20271e349aefdcee0cd1380f80b7825dd007dbf5419e06090bb8e00e7f78bffb627d330d8c0ec0c71c8226a69325060? (/h9; drTZ q@uGX~7Fϸ>%M"K(ϥ$vNQisw=M|G.` pSp 2=#6qN*̈V.yaISWC"5ḃ򣤧8N Xi QJIA9pxO  p0Wqܜ7/ڛ@%ЩI 1 >6p)/Ƨ$% mTi-:=ZΦ q[-*ek{Ynz]=;kktfmNoB׺,Vv'ͳ8Xn4_ mRۻ5ܯ֦^\.Wۼw6zJ]Wދg[kyzswXovov۵umj~{ޚܬLxW %L B c{ZNhJ uD)A>@r橚;NaLw5P;Tj̣W>k T d傠M0&f($K{`HoYWb>A'olj• /AC2Д4b,cZ) o S(J@)LKQ3R9wE-T)q\ L+,w];Lo],ouYvo{\inKka{G% [-Cwu-+,k. ig*+ /$f18H5]k}q]-{s,4ԋv6Vo֪rbUwiM[ zOZ+ֲ^8k<ޫܼ{嵵uzsr E SK˂ tWFegTA@äP\n7m3bgBۤT@Ι)H^ byAȗLB:,z2$8:jTaW#Yծe9IksU3+'1GF 枾~ȲdR)D?Z@+ AC'IdݹA)#a䦊EwLdbOV< Plm9rO$ҞF24zEH^ZLN:&B BMe܋&9Ie~ W0%9!YD=E?QUiI*욠, xRz:[RuwFcszխgqTCsa6gLÊU8r $6lpW8aCP(K*Zɿ<}mbmuzx׹ 5},P.UA`@CPwF MXvkY+kW }GT4Xsw3`o@l1/nͮ20o`c"؜tƾӥqXkhV,=*Y`W&mF.Ę>P57u'&0"@j+ޛN53ߴ?}0(o>̊)Nl<: EQ9F(NiV@Eip#>D=~K38@2TYoN;}9Ѿb59%427՛ iר# $Cͷ!8Ќ,;@ؕ)Kw> g)4np,Ѽ4%!_ E,Y0lΆsԛf]Tw^/~$IŚ) gH.r9.wxkyZYKw{WY\tqJd(;Z7(9t$V,tD_ NzIxS0ՊL E;}q[ %dHI+xIxQ%j D`t h5AQ%%B"]jxAi!a]g0)1+Lt*+ @dox V\rBи ]xcѓ`$ );A :eA`h' =eѷQOۘ?G %wB.g 9h& `5ʡX"U"Q-.+O0>GsqsUIѧQ"&p l٨49A V+sm>t) 6Xh QHb{U*O\z@H$8Eq9pEb j3F_s0ʘ5ʑ5!G,ziMs<̿b4RXǣiB$" Bх%Lo\5#^ Hb Wؾg/5DSEKӎ[ xŖ, u8LD^FLHLUE4B Ԅ֎'t!16R .aZ]"kd0 QooJu6t>\jtMՇorL61YYCG ,%qwI~Ӝu{IbN]0~aҁzXcѠZN1N{B>e&|ĖxZ}dA4d h;_venj~yjol%}sIuf3ڱ/c:׷sL/\SmR6i/ucMͭ{&sI797{Dz{dbBWƮn*WY?-(vqʂj]}i*\۹iS=i[k-V]^2{nn97g?%֖ƷW<~gat)V ^a]~Ǻ]9񝮛;UߢbXW_m޺+Ϫw>kmb =~o}V{d6aWoe_-aWy,*w/?ˬe鰸7lnc~^򶖆OVȽmm{Wm~cyxzM;Ki:濿KRKM\}?~KxW󟊧W*/wǪu=[nml=YTQoo_˵{?ܫiݬ䗿~\sw_WT*z[%ٲs^i}V~[>\U5WEm'BzX-ګ립Z`nI)<Nr0IŁV JudqȜ 5b/Jo;oY1Vʀ Oe=U r|k{cXKN[Zk~[=]1c!u !I$c  +bX@`@b1 ""H 23$pu?(vgCdp'ΩQqtcPNf@Yn13 YC*Bα ^ۚ8z.jUAHqT?M@NX܀gh 2nʶt+n 8f$r \UFtqPv϶1 0(ނ <~td1vރ(- 6RUA=UhnTJ)<C7GH0ak6TG}ΚN0-ZNDH؉AŻ0;/Dp<;V;"Xc afijY3Q&E~o# ElA`[=J;*YyP]Хp ƙQs֧nZ9I82bfķt]r0bRe(;6c o`1fyD[}Pt7>; |/¶q17Y1i"Œ/T~x(㱥Z`IccnTJ) w*wȲNrVY^XG~qJCG S׵Bש$j#87B V(D 2yXE_ 5 ous<\ 7wO㇘@6㰺壌嵪ph#;G<^5E»/rL%0@.[VZZtvFJ{&8aq\dyOg8\WRq;SI$r` _g'}',Gz qs2kJS.*lw|Z֏#IDCɇsG11}yyNd&|մb#`_}`{7q568Pbe΃f@#m@H$,Mg'Cd=>07}-n_zCzצsaR֜kӯ%+u_`(4@Kj@#"v}"67j7_I/UU\t#hgS~u<4_;s񌏭݆oV?wiۓ WI\pTBʃ9FGCJs㋰tVc1=/I?;}?z̳ݧ`,2Au̫|AwKŦrvQ-Rnt#zO[\L^_2F1"jpcg%޵ )ڢ֕@J LӨ4"FDWoB쥚'1@uFA$g_<)Q<LEi8L\Ad2Տ1mǑ s75UQ/L`&Nfb>mWq"oQ ,#1Z_`PPSeOqfBͬWxDE<'"[OV~,Lc[wG+ZcBklh"Ў3KQ <(p[l# RZY tl Qxg^g)\{O-ς\Nh Nc4Ҕ(9):_2Təf5ѽWrUb&]v[/,C((<"/gs̃|/Oݙ7|0lo$o£}M>L{kpBO_O{tE¤`,X5 Ye=9'w 5IV4^I"7bE_gS/Ł찵kHno~y]t4 L g^ 2ɤAuG5Ra ,t20S -ujf 9#qŁlT<3iVpG$Y^[̱( ӳ˟.U4n|'1 J9o nF"Wh~W' 鍹C6:'Z,%Rx3oCQʵ`R8^&ΥnaLrv$s=D7%ݝD' ·jHbW `M1ͱ'ZM Y$"pmN'=cz7SW8=VKeIbgL9#rnQ1J/gJ73(YօcdyD-g羽۠q|ѾƝQoRjr¶ d͢6&SwucҾ4s4-ZmǎRޗ_cd42`bq11`qQYup:%ˎm-erU~Lk--A&l7N*5.4gdX?xqQZޱr~)(`i:-Šw% 6w(l]k=PmPZ-s=s!rd~p}K:ޯ}yhA1Q*RFPg8>7dI4]0٦a(ۉ OolHe#@Wđ܎)l/m,Lk2A@9tХhAQD`hX]zԒk}@O}}~P:؜jm&^刭iu'Ji-rbuh3Jh~s  (4T<#s*HRPʰT!Jnp<`~'n"+P~l"q%nI٢Zy k fPB^6d7.e!NljL)PZP$*k ifD%"I-- cDGhPIJjO45G5`|ZƬf1nf[-h6㥦4ӚZ" i*wDuJsfߒ}6n\9[E۸0^wD8R3 6b}+ c%X6UPd5LM02򐮡"k U.9z=RAl-եo]97H+AW&j[JAhW5!gnɑO ix/W#>2 >$p5-%4s9 nE-9r<94!gvC##GÄֈ%yU;BqoAsי$b.-2iBǩ^i錏"Y 15l7iO;?ՙ CDSEBcnLC3qdIx̢CL"0io&Gzm(+/W{˄tn+#6$SlRlҀ-7hzB*o<TgXw5OSnaY] 2-wh2@] *#_ʦ)/JR - ܳKW@Aa^L5PAYeJ.ř _ Eu ؤdzr >I"4{O"gdp_;jXrʪS3~E{$jP V6Yٜ=m-Er6mǐ5ӆ,xQi Y}henjl"%~X6Ï=Tƨe7V= |q}\*DKmgw=z2c7E@+?@-j|+u@j+>)&J6nSsm2_J|m801~C8 qO׬ DXd|5oj\0 `ѩ+i_\P}+_ZIǸurC9f'qNх!61mFaBC,KxAqr>CPqkejDCKY{,Zc h@| s}yv@᭶F0Dd?yDƐ }B&r $= ,rG 1Z&E.K#.K_4hI*< YlXd8[y"E@*y't-6žU/R}bkSo٥y '猰]콴H vSTܤzƈ?!FM-W{LƘ$fOY { >C$6$NIĬj -ϪS'\~{%=jWK)3"VuS&7-8a8?AJ'\i]6>4!=^piEhEխ"n ,}n.>,ȍUA 8p\l$e\$M>->BXO< +pa$S%JlCd>4\j86H-+Zg5yObDo0r(LBHA8@86F)Xほk~ɚ^3.+xbdzÚ{}-B7pz$Uq]EF0<؟9nD[&;1Q<M/a> ꎭKl2 Cq,b!UJs`CTAy8'VD/j-xفV +G}0a=(H+baKq-}mgL 'MH=|;zy' *FΖ|%#rbg2=WS&'!$x@!Cٷsy9E4"P _ْpSE&cqPOu;`-R׉Y )J}\%4kNBL#jK}´ >$h9E1ОEp|al,tzh76t֙[V;t? ReƑx9 \߳i1a3gH?F,yӞֺ/{+G;[\Gree8o%ʠFLkWOD?FWbGh&mS[ٽ)~"+S[>Sï>ïa}>b@ GniC9he>BoLZm5jP*[F 1^il=\n77B9D ~6Laf>=o7^/Z;L_/bn]խ[`=$ZJ6֗vEgb1=-Y͢ChNqoh1~{v̋ v=o}i"gv^lZVeJ8EFԞ  i鶚b]V _ڼ~j/M`˛@^MV [8fE3Vun{]m}Bu`=u:ga ]\gvMC;ozO|`7Bs x;ӧ\V@gW3X0sݦw\|!G#J 'kdowpj0j :`TI֐=ȫ4S큓U*ƋhN(hQA(BH&(#6׈"&qHMU҃j&؈|@$=zDD)H(RQN(>jjpRcQhă ^$ZbQ@jd$#MJ&'hRԦؠ@_[^*[_ ;7ݘźZ O _}5yOa3/x .jnet3I'޷֚DM`8bkLݐ1$+#zk$AmU=5(2`dj' !^O( $kqxjE!EdD D$ S0L:~4EA*CB" X"Vm`o%^Ќo9m)5PH:uSku YRǠSK>q 9Hl$jURAޛA_-f@Q4 ucpW(41ʣȐfaDzS/0F'KavC< m7w0'-ElG8+'bN$|uʵ k!R4BMؼ(~~;5$7E1YD!e(,v^ Cs$?ʑ>|5ÿMTC2YSgU{ΩLwsHW3]i&33%4v74#G䌾Ep,m`u\ a:.jѫm+2/d \FwSf@BZ6GƖ2tawkƨab_ KP5m#HlcN{.&ЫCzZ7/Ɩko*XL+L5И2lUr80tjY.U>U6`C~h#`eNvL7A F(}j:~7vЈ+̣50ۊ7L')UF F  }_vSL9:湏We:fF)ԉ_H :"e/;ݒ{=flt)bWDYB!Lmz/#UfNД \bR ~NG 0'ג' :F#MOtkw7,2aL%&g., dVO">X=f'Xq* qd1T-ְԅ8*TfRF׷@_ubVCwWXG̼pNȄV"sY,pST~lsc PK㉮h CgY*-m[PsRkB7FCKNO ?j[c77gxشB*3:uR^> Ab"rYHX9YIH%wP+pc?5E͉db 1<{}f\*pg]吅%?̕tdAjDjT\>-QQCO`u$gCypZ}y3~럒{r^kPs`$ FKZKY(|%ijF &(Y{,TҼ: 9y[[}X}_׋] -AXz "ťWOTG#(=(7D>"!d,* DqҔ*K)6{4RS<,?TL]n[>1v9/,6b[V*l/Sp3}飤Ěrb76z0H\*(2pQ\z%P}Ҧ@agrhH4-cS!@9_G m swUЌkX݆F>VJk<4)ԇoe,Z, 3K ;> bCۀ/U!)I"cak;>q%Rvo2CT32 OT.r覨0C7Z.49p #ó2E.*5=PXֵRdd)mx=,q^QBU?{׏/y%hJREHPvJ1? 3CD\\IVLNʞ A`6Ԙ 0!Xf>Z qԠ+ BRiB)_Ttߟ lO@d@X$ʱQש # d;bY(+j5 :ljt, :SEv;0\P8ٰئpD .YM)Աh0[}\F+7a$-< ؇34TU^~mG'r|DG mF[ }hx~4M#qYPF .^IJ:C~D cq {D@j(:A]+,=j;,ۿTc 4 M &aaə_7+WK +E4?>#/ 3rFV{F?<2M]~90_]3QSzf5uOLX jY]TWY=?ǒ%δow[YF#AMl\CGJ߁6;L3q'\Ù^)p#aESUz-RU@gs&U|u Mb]thRjø<:S$}I| $7w3PJvFKΘhq[ 6Ig$ZK&-B%i!*Xs=bf|p -D Jp#e|侑 p[-ꭝ̆dI> |o.&II]41Kպ}Kp2-|4:3 3;yۇ$#?MWj=o2sW.auaJk m57k } 6tZ+U~]n(A-0IL D'!;|A@V uzZoſ0TϟÄqِWx|UOvq;@at)^'Li /t+`ܚbZ0ޛ9D+uF@/kq\Ԝ`!sX[,h2Ɠ#_: po98y|j+"PH=QAvVg>t DU" .RԳĦ=p'[f:5 u)"62`j utBK\a?^HT9;)u%_eNPC9UP]Nq& _GŠmy,[MJ4j@~袢cBhG/NKjtЕqymz> {fcCU\ }v[uBk |3q/?w l6gG C_y_J!H@5VP߀ H!Z2HxɎĚ!"^eXą!5%jJ[)7]1|,NzX1v>f!jKr1mx&י 6ugQp)PeJ2Q?v DwǴ+eĕ Ľ$5\tM=BAe)n}NkRG@Caf/V(ƤhbNFLIpz'NXOC0 {,~ЗeõG^LnZ65 lpcy(֌g?u66;58b$>֨d8ЭƋQ=iܚ2[4 r¸7M~˓ <`@0}DÌL!F}[#Z @w+:SNk!Uuc,m J>1w/j GhM;~jҐV(pj'}U*ҙ)#F\%ÁB~0k[6OMl.(QZDp ,%aQu3W֓Ҵruf+iqj YBv* X ]@LV ՘o(ƿNs so#HzHEJQnF46&-{0y g#(0 v P%ݳ,|K 3/VzU~ <1"~GLyT .n)Oe)7طkGo`ĒSQũjǨJ`,H{AH`0/gES6/|E2؜Mת~vXƀhӲ@ER\mʰ`n ,][Xūp)R? f&F׀A~i1扅0gf{QI{+&&Uj۽8@F|QޏvT֠qC0%7C %>PPzv<C0wTʆKvW{\VIa}[)ź29 -@`7c"QJJXkݒ4oѺKtpi`34{$'-oJtLwdyKrmё;7g +^$1Xs_K&bNDwvt IuhRU},hRߍӸAvxԝD_ na_>@2+wBH1΀q9/oÊOl22n%!>L-h&C); 7IK