symfpu-0-0.18.20190517gitc3acaf6.fc42 >t 6 6_  ̉3!XPȬI^Dg` ȬI^DP5!]1Z>$Q:\ "o?@y֑D0.2JWG? 0v{o\?!<`N# d"g'6c\8uUzƓӌe, BߍBI,-ƺFP@>ߦؔYؾ%!j EF.>+LaJ E\aJ eb%|/*A4W 50퀒V4s{>=Ȁ-o+26WʬwC3֍C5qWPц)k)ggX( k[hn VW&6i#.w)͖!4ߩr9hYyGBc NCyd (/C912T1sށfs3~@'j $^$p2c sq0>k5ڻ:PlE\эX|"ڛ{ys`??d   ( _ -3< `  r      q     2` (89: ?G  H ( I L X XY d\ ] ^ >b deflt u v w x y(,RyCsymfpu00.18.20190517gitc3acaf6.fc42An 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).gobuildvm-a64-08.iad2.fedoraproject.orgFedora ProjectFedora ProjectGPL-3.0-or-laterFedora ProjectUnspecifiedhttps://github.com/cvc5/symfpulinuxaarch64( _KAAA큤A큤g@g@g@g@g@g@\/g@\/e92d012b9cac069bbc510fc5421f73b45795ff207cc9aec616bbd95869c2e31d9c5f1e054bc8e089525be9bfb4e4020e7fcdf2186958cde39ccbf396641374ff8ceb4b9ee5adedde47b31e975c1d90c73ad27b6b165a1dcd80c7c545eb65b903../../../../usr/lib64/libsymfpu.so.0.0.0libsymfpu.so.0.0.0rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootsymfpu-0-0.18.20190517gitc3acaf6.fc42.src.rpmlibsymfpu.so.0()(64bit)symfpusymfpu(aarch-64)@@@    @libc.so.6()(64bit)libc.so.6(GLIBC_2.17)(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.20.0g@g@fe@eodídcFedora Release Engineering - 0-0.18.20190517gitc3acaf6Jerry James - 0-0.17.20190517gitc3acaf6Fedora Release Engineering - 0-0.17.20190517gitc3acaf6Fedora 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.20190517gitc3acaf6- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild- New project URL - Move configuration steps to %conf- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild- 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 0-0.18.20190517gitc3acaf6.fc420-0.18.20190517gitc3acaf6.fc42.build-idb9a0ecdbdbce5f4ab41186ceb7a4e4d556c7bc3dlibsymfpu.so.0libsymfpu.so.0.0.0symfpuREADME.mdsymfpuLICENSE/usr/lib//usr/lib/.build-id//usr/lib/.build-id/b9//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]=b9a0ecdbdbce5f4ab41186ceb7a4e4d556c7bc3d, strippedC source, ASCII textASCII textPRRRRhttps://bugz.fedoraproject.org/symfpugit:https://github.com/cvc5/symfpu.gitutf-8fa5be5c28cd4548f8f55918eb8b89571ac37e3e05d08bc06aa102aeedaed76f7bbbf19861d33197216014426162edeb7c60027d3bd0ee10d9b68d23cd30da1e4?(/ht86 >r"a@`1@JblK?CY$b #xO[t)9؛Aaf5(L!x}H XAnD%`=>QPd,.2/!%a0JEX2[ 8Qhw(OdBIƿ}`<-ԅm~+y0SV}]X7aɜeh(C X(M &}j3X}_:EVI|>aߙ=4/ Pʙ|2M>),%POį_C #򠐀1r2nlP7TUͬzfƆmimKm/Zt-w0.Wg9/mغmZ岶K[/S_tbm7w8荵u'>oߠ{ܠuW+`ZmB~m[]uέt ժ>!vwZk[[rzz-_k]]ZTnZX5g* YBCˆ%MK3)W :!!l 0[:+ P (z?@T _fܘ, 1р@M>@:=Zj m v{"GI?5"~P⟬y0~a8qg.ɥuf{\^M&[kꢹj.Z^`N'Uvճs%7ꔷ|vVfjkm2Z`Z\3ؗ\Z/Ψ2DwKtK2Qb|/b(F4ǏJ͎# T+2`! m?HP8؜" )?L9Aq!{Z2\TLjH#nGQ. -I*A 0\-h8:T9WqM;8wOʳ56٥z2L,-=߶}\(v܏/ tj Ӧ!5|2۝qҢY*9>"b!;ST-kF,'텐^Fcn`6}ς7z8B@YCu֚, wH5h*Bi8/N2e jCP[lg6#&ʲʢiH EĒr_ .]}(sR\ˉ޳fSR]t~ pAwZK EDF.~0KƆYfSqZM5yn7>}l D7 7c.H @(O c,?#5qa5dT~u: c`Յ>nhHR* ,>E!LP"׼|;mMڒJGQ+;2Oa?.>n$ €X4ch"R2:=P SGQRx|㔨%cB9p-1:y H3ӤQY,fw_1yW^rϱwlrQB|(ݽ uYw]s_}+ˊE/iZm+}ܾku\qɯehw^q[. .ݵr~ťGݞ[<֏z \Lֻ_/4.z9~f]mKz}WV}{Po~35i_]o-./A.  qR-ACԭ|^Osk8ݬs9{N"1{S '(%Vϐ bU+>VIdA/ AfT/왱 b=Gkbg OZc09b+n[K]fz]⳽<5V^1ܜs!Ј$Ia #$1$ ǂcTZE&|>51raʡtm!Ii);i5z8.<P$&^KTcѩIҙХŚKy8R ԫxN{Xh#Y)3-{ئ?1S3b] ::J+{˚_?dFU4u Kh~MkDCFɵt@pxGH5ZP"qQ+ -( qT$SQtR|}_5|4iž@E$T$~5.QDW|DXtGIjR&ש&`݀4;W! ?qPAdt=T1'?xImAN|dqhb]# {8 ~1j".e[TdN'ou_0DQ-տQ3-_w==> :^{iљ,! ZS"n APL9[Ah. J|=&!q@a,n"+~aviQƈMw0Ž dd ,yR!,2OL"הlXw6pH8M_Nd3|q!kF*K7u;XWvO÷!^|DIjwc{c^$t'\ށ>( K` ,N-,_]_>Ǐy w֠zl!h{ũ}t[]QI2Fg8__`O&2"u K~y76\.2MiGG1IgO@?8>&ݽ@X7OuxrIT!~_P "vz7L$ېˍ'Fvq4n#\Vz Hq0js,It,3ҙz<4VXkdFa/\c)E)0s:* ؊Ais[ Bcr܋U59's"$|LiK"͢R_N #+D!y"ӅGd{q]@ƛx5w\:Hc8#WGE޷gĖUӇԛ*8Rz<ݡYtKg<2 ";(| Z,,Ÿ|j),b@ K} 5;a8{RKuGD" 2Ɗ=ύ5y]s(5Dp'|1L\x J~Ҋvݔ2\fELl>#q4|/k0ɱkoLگdo76kσDIkV#G4QM+h|'lt͋^(nO<&l_} 'G \T2;gJ,,CS?E7iłVmlx _iYzoh&ϖCGYH?r2l|#紟6%!iy.lxo;l}j|xrx)pF^ 4qׂ`!,z;`kXָ/!#[/zI&%: o~<{'-}~_4c+}n0y#ۍyk#Rih[ $Hs-Rfk-k%E,fݗjz7X 3ɷ˝dZؠ*BU8ïUf΍,P aRU)8F*Ty<z ܧnzz}KU(F=rpe*ڪj7/(iD8.:.CC.]oP.[h1GHyh̩5iv4ols4KV,z̵*V1 ga󹛕1;,5OC BQ=v .%E K2 p! ȧm wǘM0g짧fЩ45hiM=rve|9x27XcX:;!> bxOnamf.p,7Z4YO<HUF9Lޝ_h؛g/{ }/˞PˢC5uܮN r)huB"%KIr<õoԗg8 s>ok`PݴY"iW$:R L/FJkUZB>ʡ}魧6y qd:iBw(:va nk4F {*F RrX/K-&rBwkIm? te]1]Uuˀb $ H (Sc98F{-%O}0ƒ\yZLɠƹd]tVvp>q-vPҚaN˰MWo-؍' Qk^,4g1M ^[ jY^ ؂³6:ӥ" Tg~HLLH,Is;k̐}闆#zQJj܈JkSoMwُ یʗ>78s% -u+Ng( pDhZ{|Nb 4 <>vwW2º 2i7m)&%Jִ*njW~c  (hB3( %Ia8߉p ^\ \ Hqo n Y' k<nG,CD|l0qK`o+HkeH3o'YYdm/^ZDYUGLi >L7Zfdw,GͻچyjeD`X 0,H 4 2;͊VsCBߔ57YU4JWP>b/MUoU" _bz𑾴v&}=,aYg}+ cadH|-fP]C3b DSȜx5z~r"2*JvzM*˻ܫ+&>Gdma- fBnRvE0_ uq NF?p X:uJޓ Nw_?;IvtVENt9%~ꛤXra~C bq 5f^yjs+PTBn'D&!E/ek@+%lg9$&[,:uPh#ͼڑ{| TWwA}9B{VbXLb E 0m11ƭFtʜ~<#{&&LžX(cjf񮲞@M^XTZ5r"5`,K0w3Ac{y\22{6y0qkZ K )#y3,.uPd~>)l{t *7Cȁ3F`A(>\\r)]!)&͌8KH?L()&sJM'cP"w\ xnạs,E% uUh> 1-Dv2t|d#9f`rT58"8'4H(ԍDI(z Tl<vHpo:R=}tC4pvhv>γjLPU"mu1Y!-O-# Oh(JQ΍ 3lEWV=wYRrI;BTWGr%aIeI@S@a't}FF2+w[Tk=_ˆ0Nf<LyJ杄ʴ~z0x̓$8GΒ r+ʎ+yNW $8e 7,2ߓm앓b:6݁+oQ27yPI8ZYZ,dˤ{A txW29'5 rz < $`P RS֕Un] 4dp!Q*p4 y{xBw(Cޯg>]A b*FoWJ8/dA[ԗ?~5~L2:m\&[X2a YH;ieP4z8ig4_֎yE _$Š ᢫6-N>ҶA;Ü5aeY$L3F.>ҺMu{dL j5 Hמ1b`ty\#LfFǨ)W8UӢٕ\[|2۾ꅑґ ~2BmH{Ø_ 6So V*VLSWeT@}$|^Q UY.e,ҵjU\j0 -]5ZZӦ,J=1|K;+Ql6tԋ&9zà΅'B#"XE;ig$*m-7;nh]}!ko,4ɇ9?#@D+ = }YV#UoPhDq_lO'L+%̛.Sd|sֱxY$n|2>H$RtatY2蝂;2aCXb'ޠMB4HC{O v0,hgӠC^P.DZbuͥ>&[,KbRUQsJ;PJG7^!3t0מj 1>;U<BR滑l$l@֢ڂ<Mϥ(S nxyIIo<4NtFKg-? n_"޷lV-497`Ծ2!\/3mOd4$o$ZA*n,%v9=ʰ,7W') ힰ8䒢I`"F=!4G93IHnPK.v9uK+dH)+^^@\[XycAi}Krc :d";g:Τ6mTg++Hqbm5]~B 7pkv;^(T`Lh/'P*40f#q wPb3;%W￈+ߘ5:E2(ĘE01%"\2ԤKM|*Kjx+*G`e)Ӟ@ (K7aVy3 |j&px5%Y8̅AiULI*`  ˂UaN0*pd`A\mrT/=dpmQql"4"ñ|}~ T_a뎆A_zSxKddaG 䉯HnJaN6f#lb |D/VOR|h|7$gֹ߸!#.88U kpCQrXXcڳm}7H5w{uv{^Ϟgm=g9(}Z;Tr<]mww]\2g=6N 7nӺ@u-\Ӝ1b qr\,7Wo#4 h!^[@wd#GvĦڽ9ÙqêmnOH\p~둽5]Wp=Bmz>qy Qwd8Y?j*9\c̼ӜXǹ1n͞HWV1ێ`\_[ ,\M{=~ 6zknG=ĮQ55ƬݜtwX0P0hD-j$HVrrJ $NAJ慂Ԥ9f^D:,PDH1>' - (.fE"i&*/sЋiR3ɋg4z((S0L:}J # Qe#S@0@ Vm`o%\? _-ҰNeFC[ +1`l&S6x9T[XVޜ.qEvoh8s;(gGB!챩0lC0 ^G6C?ި=0HO0-iǩn4ߟg"NrSx ksұ by!> &%;L7QI|UɪO[k@|eNb+FJ5 v-d0J&Y&t/m@8πb6|V eYf t,=0E^b2UݱbjK{CZ =|7ъ^r` @m-gGO;2~e:bqS<8rI)P8wlz"e\1aْL3^p PSs3,p mN6ntF/"A\&c (D ᒘڧ]xčsDuT%XXu&TiE\Xǰ\=_J#F?{홚FH+t|Vo7+QN)0n<ԢA_n8ۏhUBFPt)Uw4wi%G]y\?[iqNr7`0Zn:6R,NNvE@nzYe"^Ԉp9+uI7!JJڭMdAK P!`a,H*虤۪׽ |Y Kbt@6\(T ;ܓL(h]q*ǎN ]hOU6i9INΩņ S KeEu͇~#ƊP@ F.r7Qʁ d[SK뉍ziRQ%SFBٔʫE{f>Ҧ-?&Z)l JHi"f3);vnDA!U1OƖzer͓Cw:r2,KS@X7/&=Z;3 Ԋ9eiecl z#ؘzow~-"L!۱SckNh85N2z!k; \Ek2$9`aAIrɵ+uYFEi9F7-jlEy.@ÌsӶ G+ nsv88$Bh\?rW1"QǗKkD@x[:t$1}w aը p؄9_Ǟ1{Ե"CKq(mFyLFRtEi̩e"ʋ=ebxDKK Ѣr;\2 k>$LX] <ٱ3n 7[pئ-DPabni|C-Oӟ5D"M7.}FMkxJ69,Zfˎ4aT7Rg+,[^'?$beCM1z>Vq{hvj}_r84?~|ʎ⦚-sRKo>e4Sg xǴB2:Qd`%(1M q[HI)S>By`5:}Zl }6]dOQSX= ANYAEjT|U? F%0Nw²FIc#@A|Y6-nG@A70CK ǩ pWMdy|ꆊFGq EUg(^.Iu0_ۛ[S]ζH1p:2[)wեaF\%kbW3i yJ;ȱ$% %Fk7+>OR'4q!6Ka/ڨ !piX~?kj`RbTqܹFg̦aKsbNWF$:/sz)º򷢑6, Mi#q[u='51:3ň'e,ﴴԛ_OC#_ 5#Ԡq\\[(Je֌ܐșױJpJ q8 o 9~"vrY+HN;&<5PEiD9  P>PJ`\E2:JøA1'Wm{aKg%ުk2Pp!7 jr~` p`ut dɡ1bo?5T̯Π=ZkӋGz&d8"m%}b\7ikA CT34|na;X,]]ZRm fomU&xhBYV<ɲ1UL]-/‘"#N,5O!|@e:9 {p%+ V3hnkUX7| &9F\4^){%]hDA91ҹ~Vյshc.ɴO[~o?$$PVVSur>>D|J]'< s]ltC\+ƺ$MBroAΝd>>0U}oeҔT6ԬTYHdYVѠPVE&yndD~F4W@#'AD{ c kMxew,'SIFk?:o:nqumH e| { hRg.?e3CD={E2{4x: ++O'쐜 @s!N%"#>(7JxѤ %Id¢.a?QU6^V(2L*='{%q(`q?$F$!޺w<@WA(> ) IpX%m9Bs[Rد\̊lڽ8*frga:w"ʅ= +Z]3SB7 k0dDw+᫄LSJ_8W_w,ʞ7"cq}{(P:ots9%!y|/$}DL 15:qPyr{bTOʼnLŐp#6Xh[cH(.Т` [bY`kFQEY{c=OՇB,Gy]7e`3jkb:$bofԇGc!!gYҼ\)8@D @<M~  A,>1iѪDĻ-ο,ttVn162Ԁ Mt=rJqԪCb0]c L%g.o⃡r`dA{;NPN{wj+ogs}X%m"[9ENW"g#JI+dn!e'V7vry%΅gݽu S[H+-cOGڙ(Bi+=jMhjP0R"8F;.? Ⱄ5 8 "q$( ?pA+ RtZt@ŝr!u˂?pjS~w3*Uv"s/V;$ op:0 qH<@X$s>j{7o 4 z5t<9 $\W>ZpMg!Ga.Iw&áU ɶOI{qeĎ搒TS1tQA} Wr5{}l P=jAޛvl(`"Gq Sy2s}2 mCk>-UMy:^H;ae#?<4E8rAKsޚ >$M֙X =EJʒD8;K*toG霄O"l/.@VF& N up'R&2Ytcag Gy(~# kc% KIQAlRT^"#Qn]4jX y#VrS3\0<jmз1S%'qkNVZmFcc/W2Y `uVԴc@=J1lwKTs: Rბ 0n!Pa[h/*0v-d8 b1VOJZtg)aI6c,h83S P$hOE-,apq`C&XT#( n-nH[ @e!WcqQD[FMCLuoM E*MW;K:̩ٗ乕}83ď2g󈋦~Jx%AA|J~KSi>=)~xUۂQQ#5O(WIM9DQL/hh|t)W2 :MTWYFlhLn}(ėY-6-v̇Z|M,>8wL?thF8i. )'UTp؝ۀD,^@dYsD}%megR~1!da gjǘ%'=J$:)>h*lq(69J㘆{hDǒʶ5xM4|L