symfpu-0-0.16.20190517gitc3acaf6.fc40 >t 6 6_ 6 3!]W>D] 'p~[ye 'p~[y\&%\{kjɊ4_G+J!:h4 ϕ i&fp~%)fA=$#]2_^X\Cwf#|d¾ 9ö2rPaxB(+- a#mq55OS_nyT+W1 [{{y,VQKfp12{mp4S-I`*U;j -ecpkׇ2^  efO%>MSE"`g鍏S0^34ckw?4=.Kg|e?SڣI >qJYǡ\ r쭒ev- sP<'4Ѭx|l6:oa3weMii{ɱC !YIFnKsRL~~nAU0~AA_Bh3>qϺH j#6?P}rrJsȿ!!":7a7c3cbad114bcfda95630d45f8b4f0c192c8e92750479d55a75dec60cf26c5b231c24a196a7a55442dbeabfff8bdc6bf7f0b080030204a3204a9e00483046022100df6d7c6d2e495ba2416c830626eca07dd66f403253cf124e6718154323fc74d2022100fab9477a8a88ea02ba6894b45aa831023e97f434b95e838b0ef0b1603fad9644030204a3204a9e0046304402200caab1307cb080380742176f3a344ef9b9c5fe91e14e387fd536fcb190c340c6022003313a67a5bc71b793aab623c9987c1c2f1f57b062f677cb909da06863066081030204a3204a9e00463044022046a6c1a899de1662d5bdfbaabc20d06c1bb0ba1c86030c96c6d834e9c637900602205052c80aaed89548e6e0c7a7a369d350ffa0d032b7a821c1d4751487b8314c71ZK3!]W>D] 'p~[ye 'p~[y̓fB49{B$QwqlA--/[Q`+|S5Ӆi#@sѐ#y4L0hj[EilS%^mv1ZE﫠*ʄL"*}M 1a=L.'~Y{$c벉_ղR8"&<#Fva8<5yp5U޸q8mv | '1ݑ_ PG C!PG!Iןw\E |iLFNZdħ=nI1fp$XTn >1o*膑٤LMgP!w*EZ O?εDw?;#k z=p6ʇ" P=vъid!72\C <"Jl7.{s(}:,^J;\XG+%:&c 1jF)I֕c,B >`>}?md   ( _ 28@ d  v      u     6d x(89:G H I X Y \ 4 ] X ^ b gd.e3f8l;tT ux vw\ x y(,Csymfpu00.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).ebuildvm-a64-12.iad2.fedoraproject.orgFedora ProjectFedora ProjectGPL-3.0-or-laterFedora ProjectUnspecifiedhttps://github.com/martin-cs/symfpulinuxaarch64(  _KAAA큤A큤eGeGeGeGeGeG\/eG\/8275086262aa53313a6ce25505fed1cfc318af45c84e0f3c8e76a093862f05919c5f1e054bc8e089525be9bfb4e4020e7fcdf2186958cde39ccbf396641374ff8ceb4b9ee5adedde47b31e975c1d90c73ad27b6b165a1dcd80c7c545eb65b903../../../../usr/lib64/libsymfpu.so.0.0.0libsymfpu.so.0.0.0rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootsymfpu-0-0.16.20190517gitc3acaf6.fc40.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.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-id2022e7aba51ffc9f799ce620aa2f9ca362d10f95libsymfpu.so.0libsymfpu.so.0.0.0symfpuREADME.mdsymfpuLICENSE/usr/lib//usr/lib/.build-id//usr/lib/.build-id/20//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]=2022e7aba51ffc9f799ce620aa2f9ca362d10f95, strippedC source, ASCII textASCII textPRRRhttps://bugz.fedoraproject.org/symfpuutf-85b7b67898c96faa7743bbe91104363f8aaf6080c980d500d56009b7f8efa2d9d9eac928ea3715d4176ee96f7b2e20bb647961ca45fee15b55b0a74291315663e? (/h4Me<D@U^ˀk" no4Ϟ10IGYaq/3|ȡ21VM aokmK)SXr\sЀhx**_%˅PX^o32]PJi97/D.R9W-5B35U 6AG (M-1WN}|x!!Lbd) 1f[G]"U_g1k;[M^rn'¡M 菿ߛO]IUA&ɩ_6`!q&cd Lll ($βXlxgpif6¥ZsiJZ @pl"sp E\]3S9_Mc3$*[uNU袵йvT0*?[HuAPi%5{9_Wy*tSPayDM/<IN铦D,wqsRc3Me%+g2NШ3Cr:TkLd+4Jh٥T~ի6dg|Wɼ6`dm>/Z|Ş W:"0h;Glu'*20_N?<xĉB\?1 ME}-E(aAӨbLI;JP0r Fjbu[5z0h(;W@mc,gIya`#ؤXB['p73}&4τ_EǰȫZwU|_>cO=7YW-܃ad` 2Ѯ$-} Vc4ܤsiYf#۝BFr}x\e'Ӆ/Tq%ZT\OL(48gwTo8u Vݮ*G.ՠzߝ'>gN6H8ü5<mXqx-}Sӓk] ȾaS<=3H`hdI!jvtooﻻ}.?2 ꉲ $Th d[I*O9 ΄ֲ6-y40> oCDMIߏ}gC=#ߚ qF[9 j}K;5s=n6r` R+wb-ih06 n+8񳵶*.;>rw:h[e+A{NU|f?ڰwe\<ژ6Ov琼ܖ}\*kZRouݮu/I8B/YOn:^ /O0wEBNߝ|mnW{Fsd{B,֜6%f`Bs|G}{vJ|m6}v>gQfY%kM$ }2ҩ9 I2S YKr9$:PH #"$H$""I ÞSGx[VSҮɾXTߑ+4ewF 9)6U8*>LnN2|ߨC$?\[Y?5#hCYʭHov _6PIt11[LIg uO5q~mKXDzlςMFG;dS64u \DBm6|tV7y/n3ͪfm޽fAu%WX^TS󮘎WZ)^rK9pSgP%O0angCp}G̣ɟ 3̐i2njT搑9]I-RE7*0sOn}tO*qtFjnX; \1GpY&|bc&v$мs)^Td ~f]yr < uzj =:u⁂g:oވ^Z44%Rmv`CW dɗ?\^>guѥÎi԰Kq0>7@0LY8㪨h"Q(iMC3Yܽ1 ӟQ58f8va0űF M8.:pùZDo]ą4^ yH G0źN Dnxlo^m䉏Қ|Dj 4*I7*| ;8Qj\LZ<` й1) l Ů%3:璉B(7qtc0܁.Kt>X'k%G,.̐|0Li].]W=%a|J;=<4;kj yR@C6HDY8J5qDdce/n]0uP uu6(fJ(djb|ٱ|!**9YT[,֝W kY2TؐF kH/ ._jS^EHf$$)H22$RBqSL(H%M e7; =*ue8LO!2K?@j0X Qp2qAj yY9TMb`);U(=2E8 +5IÅ"?π1UC `HO6@ve\k$U` GWU9z[hkxXr˰yada{Y3f/C? ֙,?{sIJd:ui\]La]NJR{MYդQvtK^VN=154^Q3'&S+Z5*t6߫p``J Z"$~#m{My6S^L^hH&fk8@u:1cv4D&Rm)춓+}3D?D?wAEE k-sv !(fگu)i=ԶVGu9W_IÛFKD82X%mB6D|PI;U~#)H A$G)`HVTDR bbH?@ŽIC7 M`NBMK8vZf _iZ ok.[vY7~lazuL';kq^ c,#-W4X#%]Nz{I$h}[ۭxWd.Z4Jo>q_3e|,TEUhF$1A*]8Rc!b1"E4Lu(E18JCxU7+4NJ/c}e?r8,^ sfm c$JjCphdϗ'e#Ϲz7Е;)Ip\w xTa~_RKl{@3yh\c3$1݅ 5X.&ORHx9Q QKd(YҖX:twgCKsUDÛ|Pl)|OO& \4w*;hAB+;roÍK^lXv˽/~ajx,B8-7i̡1FwpEab#1}Xxgx^ ?Q%pl-̗&`TS?H}r)ѷtAoԋV*9f_VfNHC"uഡvZ3 >1gY~^V 39nͧ8hjs*ѾD2GόJE7j-2y_–hT,at&1h0 ƴ` n z/`@9ͷ[L˲`s.oMmo_2DMFPu8%q$ue]Z)K=tԈogdaC2,H(S  w q'mY[LSj l1 Tr:rx vWnGaWO@TZ=8 v,)ǻr? FfjanCsμ\*u$v We*ԭL/iJϓpQJ-"D0&ܱV0č;xirSW@Ls5VTӢ&287FyY-mzM"Am]mo_bCTN 1/uÖc 1oqlCE05{GrtZפjЫzYGrtƈBv䔼bX{ >+[wn+}N7֟sKjx5;^CFN[]#O@~r$Y$RBaHSdD@DDD$HIRFA2l-$<_.'u.Gv.jb% P+WB ފ^_r#e= E$s"^NuD|6Y~RjQw Xy<ډAF/S')ޙPed|9p|ZBz3+~.'\nj *L.&͏+0?OaZ #GK!GlӬjd@VR 4[3W7}4,49)ɟycΔG^3'+^l]r\ ƷzxFpŒY@NI L8F0ZWtnMb,|o]0!2wV? 6+ ʁ{RL)ƅW҅rLkۣ` 73_TT1W5fj1w̜'kBwY7BQ7Aa3-`I|uaG%犺BrNVݮX$/L4t}u(‹54w= .4VgPul f >OzAib?,|8ZVZB)N|erJhݗp8m 8jnlD~si?ЁeG٧O"]Kto4:u//FV;7u+Cܻ )3},g6"0CF83ֳ@=1jqWvaxZ_.] :L/-\Y" P7%yO~<}X@ o$F:juz6L8rO'0Zɧv'ޑ%~eu.+PZ@fO!YIaisa5mTotU^p !t Hw9AP>;Vmv}Nol9u51fψih tCKMm:w*kUO]d%Mʩ X`#Otx n\ -2H~b=nhgU$H{DaPJ{kSSN6"vR\j8{!SAoOfjME|kM.:w[)5z.;3$f?X/;'^eF;; {PXah@)Z㕉I$1ԫ˿I=N1K{|_w* B\(E~e`'I,J?Л1`u!T/I:g0'3ڶyϏ !HWOkco)av[1洱qj촚q.~!>g~Mz)v9}?#L2zXc  Q<"y lDF$)(Y'G,FS"hzbG5@UT8 *hwkм!5WA amP=:-C 6s [Mi*cc~o&|  ՗QV,N wBp`hū1sw@kʖ*_JTyP䜧Ի83?a ړLHcC2?] ZJ`^ ^ /M kWAU' m[O|q.}Y`#!OXfY/g*(R6RH]cJ21{_GxCilNPrSTҮh/K'* swTQhG,~$.`(4$(_~8CHFqbJ7B\Im / iYZKt˸T9uYߜt;/膃CCGcTM widH7$A>]oS$5/3VD 99]r\mqv89ѕ4p/21q5 $^Ob7/Ynxæ qbĆ۵toc+'dy)1x쓳_pe(qɓmQ8,{By%"X5/>LЗT* 0Cc4Zݯ*݊ȬE=OQhlU\HǼ-*ޝ7(X7za)G9y1<u.D@#DF^eh`TdߌYÇ"%͞ц{0,l"Hdxl96 8˒L Qlz ͸3AŭxHqqqIAR:џHVL$S&0U_R匋m-|"D=9Pauͯ6Wd]8$!YaɆUfZ1SGMZ5"*O<0}oۄ߼"T t疥p =TXzp9jB)(LhtyE+Dڀ{+C=b0Ϳa$/Pvhffѿdum"$'H& X6ykKtW<4iJ_̭LiSdo7*SK-=lqZ;Fv2Trv{wK$'t^yJ=iBt&z/%֘# -=zWJ$P[]XY"F+fy6gf/SH^WD]syB#fo \+&1x1(>4gG}1jC͇4@FjIM37yבUi612} E92IEDu8ߑP`( 8Y=\WtG dyMH )Tm]{x^Bsj_OH)3WxRq((H٣wA6Rmi_8ֲV%=ͅhEP;I'4}:?v>XQCl1Εu]tRo& *4]dk#zMCVs,IFdeԅR&3H҇ Z$ ![u 9ڛus1z|1>~dCm<¯Sv~l=.c\MTy?6@"Ј'6H#?/ SeJ](Qk9^҃×ǂUHa+{VZqȑ@|l̸O7ފ#60bCP?w8X!I]5a`guw 68{3r"J4ZIAKAY8-h%@dHVU)(Z3)i*!K"N H$Pu'2^YjP jҪ @eV$I&z#*+ N^H0 XMS IiHgV` cJY':*MdJ(uR.i@[>~ua G4o#Ch'͎|~d}׃v΀hV$QQ.g/e}̥Cd[fȼimLfw_w;TR{׮ syg}4-QRGRBL(|PR *'*EUK"d% :!*9!+eZDN#Ud^|  (+z c0b> !*AB1R00Vm`ω.^:KhWSM N֘Hucu(j8)T#yJm]9 :8M "tr;.cG%1R{LpS0F?` 6_km*ݴ/d-yص{#}.Pk?2Nb tבmI7U4F`\<9QI' BE5o6tH۱܄֩SK&%ʵ ^Е9$Fmx2S[ņ.׌FWBN~pwIǵȖ˄:Pv'%@2\8oRt`wu Omfwtd~vaQ05.07ER1_ JeSg^xM1~d7fr6?Ť5E>{3NQ^*;gR4e;A5Z2GT;4db4H3B,ZKJő B8\mby(ҮBG,RfT9/&7$ d/[ | Z,# T s,$0I^'&.- u/m1 1ޘ+m,FY- %ŇҬp1~B7v"j4o|>"І6_g>[aHΗ0w :3e SΒX0s9 ә8Ac0BM2Xf(LueIF\X1ξ;\ 8e4z3z^3s$;lm,fphNP' _|.z ̕RUJl׻ ?pei };W%wHap/E]Q #)M'g^5P&enn<_K\'̰G[ZSW)L%p 4WZ\ Tz鷿8ӏyx*͟ɘVN'S%phQt B7erjp9nmğ~jJJvW_jQ W%V˭PDl#qUA靠mE,((r YMWόF ["Z[qg[+#( TEMKڝ_FQ@jh}Eڕk3}AJJ#Ɗ~h.X6(? :%!+bW+i;}VIBB* NEh68Wڲ^ڞƴsCYwמĸeNE 4gH)ўԦh; U ͐3hnzŬ҂~"cr[O-?ͲY ݎaT!} ġUUƁӘAlFOu"(2좍Q&ŏJ$d!)R8f?nS MV#GvREB~:jɺl|cJ.qQA:I:5X/+z6&H@}x;T.Xxa7nӞ:neFSm)$L!yةEG :اC1d1WOSF 2~8SORU2P}ɇmaI:2;_DUPNt1"uӒb3ϻ?2/Һ6lR(eJ]m\jA!1-)\Cx1ګr_Tdcgr wӗB*jpʾ ÛWGUgjNg-.d2X͗?Ax;@?~$ei }pT)LP)U1`LxUH"K! Q#e Y_BDÄVW<ӱa`έ[M7Pn!p[Th2kڨ*'F}K"AT28E7$:`6$yҞ5ӆ@LrdʎQ=R9uZgcP؋UĀ|j\i&btoKbN{hOztp0)|$7n[^6 ΥtcoYg/0(A2GN b+۞0%1wr+NRcRN*G1>o+v$Ad10 hPihqufKA^aڡPeQIFR-5,EVXnAIݶ{q)i}o?83h[2 6(s2ߟqUu1ũ+4m̒>8Z]/04(؄Tr/;,t9Sd=!0pKٛ/yL^/?!eg윩<ؗ] Ppß7h뀄.3َ,iMYbU+D9պfEq:~7ؓb@;{bJ1|l79݌khf&2 )fp1E6 Å=ޙƸ_naEɨ_Mgw91qAHC^#b]"-%DKq[u@N1'/+;/-Yݗ|wt=^" 1nvpWJd7NʁzyKRdG-Sa7:fC[.1{N*G( TQGz*i3S 4"J ?\iB-(1/1f-ȥZeK Y颷GTiX<4Φ>9߶e YM>5߂Gdڣ` Ą dEL{Gw ԹZE*XmBC ,qS8^8NԐ@%\[hL}eyw.A*@LSMJJY}KAR+D]db[- qF}i@  BձH2\CMRIrMD>MaGtP2Z"DK\fўRD8[G!1kBJ|3߯f` ɒZbTfH^1m"4ͺꔥ_{2By)|);ii$l,C4ecDv/$qx8ZH$fHBV\0'#ol.iRѼH}%PAmg3a0QD?'yC҅ ZS ;R˯*>s,k@`M7qzG0>TgW@&dP;B:zHDjd0Xd\X v r2w fIUCKMYS#ͪw")N$(r:y `AaDA)IbC .9s1QtĐJP", 09^UAa$.=g⢍Dd% B&#'DO]Ę>ǽAJ4ɈϢPŪ,gE`[˙Co qtP=/Ca3;N :[Jot6#fW_[HsWB @Qbnp-9=Dw'b9xuM;⫼A'L~B ǂӈЬu8[PUqڱ~o,ĿP| ?ˌ0lIuKn[{Y7K#nK ӕˆOćWE хˮu qbtN c dr ZxMV>Y~ C8` 4[^ʇg] ܫd }EXc*+t!@♗'c%藪Djyo43~netpbSncF܃s; F3w1W:fqH8FAoy3 xDM:8m9[sOqO SFzc\Iw;_9n&z"W2?;ֈ}! *^,+\D(_r^ ]ꟽ| \ cȯTP?HTu@y+#2DE 18? a#`ShBsJ'$ttQUUZwYȏ.Na! GvS۳s3fO"DȼI'7 sz@|Ij). @d! };N 9?kBQ'H[Y(vw:W Chkhk8L60'zT%A{ _wƋB `!/{޳=ll6,O6V4T"eל=Oʋm'@ z`怜WR$Y̌Jh Bg֞0g({8ZII@ Gک*10p_zL 54je`ש>e2-'̄;,yr