symfpu-0-0.15.20190517gitc3acaf6.fc39 >t 5 5^ 6 2!92d LuZLdŘ: uZLy3\eԄj'{{f^ŒH+c\+ڐ.$R}:-{J8Pffޚ#׋Z`B@ ,/yws 𤨫p8p ";->q!kv#61eKՆ5e>M ט_^f>0~ӡyO "~ՅNs}-lF_OVه!:PzP J$ه#N@2oZ9Ԅ%б QE75%Yx7dCu tOn;Je0dwinG!i R}Ԫ| 2 5FC0DW}uHE%VVȖ)A*E2g_wA75ȃZ߼~mo4m.XxMa mv _K0;a9&¾S5{x>`>? d   ( _ 28@ d  v      u     6d y(89:G 0 H T I x X Y \ ] ^ jb d e f l t u v@w x yDTX~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-09.iad2.fedoraproject.orgFedora ProjectFedora ProjectGPL-3.0-or-laterFedora ProjectUnspecifiedhttps://github.com/martin-cs/symfpulinuxx86_64(> _KAAA큤A큤dddddd\/d\/1abb7fd55a0cd577be2682da1dab2550342c565a084c740af48eabb197a86dbc9c5f1e054bc8e089525be9bfb4e4020e7fcdf2186958cde39ccbf396641374ff8ceb4b9ee5adedde47b31e975c1d90c73ad27b6b165a1dcd80c7c545eb65b903../../../../usr/lib64/libsymfpu.so.0.0.0libsymfpu.so.0.0.0rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootsymfpu-0-0.15.20190517gitc3acaf6.fc39.src.rpmlibsymfpu.so.0()(64bit)symfpusymfpu(x86-64)@@    @libc.so.6()(64bit)libc.so.6(GLIBC_2.2.5)(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-id4a622939efc9a69b9e814255d9cb30d1012af4f3libsymfpu.so.0libsymfpu.so.0.0.0symfpuREADME.mdsymfpuLICENSE/usr/lib//usr/lib/.build-id//usr/lib/.build-id/4a//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]=4a622939efc9a69b9e814255d9cb30d1012af4f3, strippedC++ source, ASCII textASCII textPRRRhttps://bugz.fedoraproject.org/symfpuutf-863e406345a3337ed22d8157e68a92f8ceb7498aaa53cdec98efe9190d3542c09c944f873b966a22fdc474b68d0434a1d21d0a8824b3c2255df320d7715b19905? (/h<j88 %"z"BШ-)i$D w?weٹ)fTdg;*w>A7I5!T}8'e̊߹K *1$/JJ&2s!FrT1 8P$xa=f D8h +͈ad_7qS7;JYPiQ1 .K .-hx]2TVb/l8)M.齳ۥz,{zkU7Y\~gq ձ˫)qi+VZwuA`*ۖFPWӎAIGcƷ-+m)s=](YO. ܲޫ]֑*6 kޭXqTssӪJ ɔ<\O/gϏf_<>2B(=GT_g$3d|^l ?j2UX Y\&1PJÍ |rZ1(b` %$.̛" H%IlZ#YBјⴴ޳*zl>!Td_Z,"nrxCn .=Q?YXY- -=q@6o&]aE#H}J=Q @ITp T29%8Jc9ǘoⴤ߅ ZWHY % Ê~'YaD߈">m7.>d+~pEbX+7y:MVׯYxذ_zS2.ILF" Fn*Td0@з碭 sf睌tv ZTthu$#F8`,T5ft`hbsq6lj<|ٰ t2aFHYz̎+lJ mB yo"Aa!ۦDM;f<9/wW#ѓ*V NH8ln4bCpQ Sze~B~6wm \-jh^P9V ùhȴb͋|"lD6sPԛ§r\H#j͌;3~Q0;0n<bU2Ko9_-kc;Kw<+۽r. ( ƉpqI1˂]7yf-FfFTh7OZEh7v4~GSZaŏs:g?z >Zph"GZؽ4k=Xron}l_X?^{kkotokmVY\ߟxngo%{uu½rf寷^]zk^]o[%N;M߾~k~~i׹W][7__{-2?T*o-:<\-{<}q=o>ok~دSq͕niS\ P5jbiﴖ:v PU8ucett66I-uȢ[`QWP!O=[0(| Hf#ɂ2)v$XUr|[{cXKNWZ[~W=]1s\ct шL$I c $ƒ3SZH@`,bhA """"##IA2iXwhR-pO2Fj1wR\69($`Jw2 uWcNԴ,\,M(jtT{*r-,nw1eӦ `dHl0W5CVaCjW<IJ ?T:'PLZAZ3<|oA_HNU=58m;||blِd33[L 23HuȂb -b,0C l(W#r#*|W"e!X;߾ 5 1L-+>8D5$'KD9NN@TiJz5Qs)=v'8&,0mVFB;*(m .=FЮPQmZ۔TW$حУvg9}ޕ8NoSb^b6D4M(A^ ^r-C#$C1xxAāot6UWڽ]GCO=;HeS \C8`*9aa40 yGh8&HF6PaVK9;x-wko+O.d؁j8.|G- &M)&:V6hoiŠ :F>¶q CP&8t:dȤƼ4dy6diE $-|dyP9_7ls#Z^?8=o'3 9nlj8|ohq#=bvI4Xl׉Rm_^DI8wmoJ38q -EkїөD8Bh f8t9i.' uQ؆„ U*GC|1NBPɛjAؓKs}|!hI?{ ᑋ4"h+-zY9)X3<Χ-@Sy4XYGg4g9,n+mٙ H[\`(O\Wm4",zko9@7W7UȘkVpttNKY]Y$/vY~ {pQ-kX``+`ISD*a)k"NBa=RCvW5I瞾Sȕ̕ՂP޹C#OgώNZIo :}Jw2Lp?9pr2p^e@s/tZ+٢QkN\/$i:݆8=,:n*vNbGg`];cJΩfGP)8n4AcTL,I`~H'\m~sd$%HKEG}.fǖ0I,?d43Op~ϮՄrq4jO fg  8u(`IY`9dmTL8G2viPN]!>Ӯ&)2`c|=+Ɉ̘۴j-ܢ:fT j=)51gp$HbMa3ً;nQ&ó2|6ߜl^{ {<Y9XfOj1v$뙃/>P(>ņ(y T9TIBnr%`X ֢g %=]%a8>O5=w 2ṙ}^#39 k!#̾BBSvPRvPr%b},81,P̬p:r: ÆV{4MP&Q]A -Bn3T2q(D,E\Co^5Wcj Al9$`ZW?Gf5sۼI5*+gJΰofз16 )cdzr$)gHߘ櫠q|If_yLs+N JAmZirS. taکr*Nԗnt>ڗy8Nk۠~TZ‘ b( C)Yvl 6o98koZk@ngl6q27io?q1[*Z&Ӹ9Tc]cR;NԇIts"~tDْ`sǚ>GշZߨc%y,ԶhΙ-[S C!b#{O9Hu {UDDT|K]fDE/|Pm5}fևX2( Ks;YT35@@PI @9@RIšR3Y\ӅG{{ lkwW9VNٿZIne8W.W󵮅ZXӞs  (4XxH!R,Ԙ$)(J1@11GAd2)WEw1T! 3OMvRv0s q7!"2<$:aɞ÷mBPJ+%!͠ חe'mwaVT-4Uaax`F-kr j\0jtA_Tl_UˇEf:P Y\XW挽Ϫ nf ñ`ÊڢpE6 U٨}4T|kmM6nU;.bPyp/a;\0ńR^,p5d_ݠڶ]xy18.O)i1|rc1dsEkw]WLN[20 ˙ѶX"=i(7,0.j储6!( `$ 22^U'-tB{Y{i+3P᳌o[:BJ eT6kO!Ŋ6 YjKY7j{f䒽0R軑Dv%u+ߠΌx{Do DC!V'=>]̄፸@-Us\/P>:/1AA8N Vrs;.qMoH&*&# 9"JLVJIhw Zx"zJύ,LUXn[$i$ 3Nc/w2_@:26p٨?tK8ԥ0&_@jpRۍmм'S d5.vHuRX Lm2RT~UVhl}w馳p5S=Zk TIO&LLeAm:~d#I]ɝTKgimgB3 {v1]ŕ{XV+:$.ڨ G!JIV"mogK"7!${yncv ^TYD}#(kfI}_bWxnL}\@'^ЀST&v0~.v|Z.gHd=67K-te$Wg,~ճEiكVk-t{x 0􁨋&KôM{/ jhYby\>uԠ9>g xځuv+1e'vӶz;yJo'+72iz<)kc6U` ʄ)D40/>?yi6+aJb]W5&ZH]x2~o{"J(ct V ) hId[ YDuZ cF0E*XX/Q / 4 S]kh0"Rߘ}KP*mU6! *m2a@1IJ<`4y vT4S{:ƽ,ޛ$0q#>iXȏI|Tz|19zMJ-3(fMz\X׋O>n9*Ƃv{JecՀXMMckHYdb] ~RqQq'&sJ3A|h]GC2_Y g79aH6:Z& 6q9]$o&$Y $T.DInK(B~?^$uD͋h:->+Qo9 U kbJ@4 6_ò[x8}AJY!TsN3÷!-A0 D'D)XXyQ`OR-{˲P>XBHm(͆ɛbOn(*' M03G4* %@M dP3$|D]ьPSWE](jDzьHKW"VdND.BLTyᒢxﲈBJ MEhTd^Pz*L((S0L#[?4JЍa*c"g!P Vm`A]pԿoʞuG}7InJ&1(sqzABKE *|s0(AlX#'DA}ۙvNX@#MFt㴙l*Yk7Pfjf]j%3L~y$$ץ\C̯8j@[ D6I#4?4_M,82@m{{lO~[) q 9bg@tFRaN~urd5G5d PpG_,DWÌ_M[ࣅgs92tkV4ΖC ^s4Fp74#&FFpl604 -\E:eY+P/$w}̌yѾxCDXuE2! dFg ~$#cLm:̷-?wc)c(>8/s!jvژm$.M.=b " *rXn*ʵp W~IF軔Q]nBOS]*H3[Bu=wMri")(^R50p(R4#?8MC0Rlo~ZvlHMb5R&{h#. {>o&~ѶfO-2e뷤bB4>Ε~3O&Xn#"((]yZm-`dVKlI~tFFkvdTi^NK6&ms uc(R 9dn L(Ϗ0\~0a4 9uBy ڍ# T֠Z3aL]$&g. /ܶq7?̔f>(PeB-CK"E>E -Xj=}\wp#.x&X<3jZ 2oΟ#¥Q /iwEdώr^z!R)e)\ФɐoR%F!hiڹ[r/lTN𽡞bĻHy bs-K7 [XR ?cFe9q1*ǦzSv8'zE)ɦ 59NyBcCtw}| U+~~Dp{ t]&)~#wL)\1PuGa/?ÕTfN9gwuy<`@qCNKa#S&x RG ]i&,ýiRR? d+-|wV_\ m/FRAEV] 5bƯ/Pa#yP` JE9{XUVdټ;Xni6bNqQAeNh#DpY]وMI_WEBVGK5y} L$MZ U$H\HT*{harh1ښJi ,c/Opp)'eZ^ZUb3ar Ø5)П \y,O|CcWYV.]0b0@}ː/+qx 0*n4^(Zϑu&C%ѶUJ2&2DE"#mYQ҂Ԁɫȣ5"Ѫd]/Uر_ Mn64rhwMN[4z<KD.83'AYi˷r$yY4P٘5 >Gmάg8pD+` cnNi1f8{o2+5gvx=!lJ;:}`à aI2ބNحQrt*?n@ݵƘk[)&~6dC"[HD?Ab+rſe c:5syňMѧVO _%&t+K}sD4 ՆD~{)0HF8cIMmاJeNK d %*lHQ.Jj sArO0J d&I$;VsRUZygGb‰0Pnho4DUKK?y F?萁b0ب׀})N.ne8mq'NkF$BpNvw5_}0v *L<l~8Z !K(4P,J3̲]9p-RTW酏IV!r3jG=ŧJz[B5W,G ȭU.CLyƹ/]I1tTMQnVWv46*ȹgNMg}&'p/+0uۊd{VWR@ӣ\Ɓm=N9EtFSRNQSj %pݞ3UPU2Y"4DžqXÍ␫;@vy2I˖5A x;۱<αl!o!~ar+ ^T\g@az/ެ:Rr !7>_#U溃#npˬ̙)`(26VyӰG:U.a79€nگ2y/ N7*9wl{EPCB1[:YWTηP1Gܿ)t~g/4{! .i fK;z{]W(p4MXS㌼Y$8@*Dd"2TF@| ˁ,mqA<^$9doCԷ8_pyfQކF Á9@ )-њY=X9+!Gp=15 KHsV:v>F^ ŕż}TM "/}*$w U/_=ko )8dMmJӺ o[&s }Brm.黹Q :p/8/=\ne՘<,1Yv؊˫|N$Z\ TQ +LHc0C'˂3 `e9ꗿVsY3#W(;9 HoBj3xH`h?(*FJ*GNFuؘRVh}6[+G=T6bxJSx*/$W)y$L`:Q h:@l\ăA<]p!*twK9: 7wOĚKebuTRZ<ܻ`rFhGžkijfLf M;7t&I(.(]r |*wjF=y/ >8lt !\tacض!IAIT.Bɛ>Lפ5p[$ bc-= ٦ -4G}qѺDy.'Y:A(!(H{Y'8*%DEi/ϥ7vb!cg^0ہ!*7C:&EsTXmq% k9v¡=D*̑h/SNyN1P%vB^2o!`._ 1J- ./ͩyuEؑ2yFA+}Ro$5>;UdžԺ`?,s&~w /$_;7\d5ΠbufP'2Rm!{˜$dKQ^v%0lKO35e$i#\EX`qM<3SfpMn$m2ߐX VQ)$Kv%ދ VÛ,ǿMHTY(}uǽ?<ϔŹ`spZI{m+P 2!,4+8@fVX0!~:ާ@ j“cg  tJ'hI"-K( RCR]p+DGRbU҄*-P!%氜Ib=bC(006I@1d9_G(iy1)yJqnlm:zYYY Lp?Bd`xGF%q kM4eMsu$3b8Of10 cxЋ7 CVGxqiiͩ7|*ߺ{|6pAJPS]YJndZ!99 m.4N2UggSN!#YA%c&#,Lڹ\pa:3TYXzm2GeQ|zt|0ecȆ Qr6wW3$mE:ˇJm|1#|qĭweݽts#JOJ@r*U5ŅZ@ӼcҴ>},afs&'C^P=Gf>op&7gٔZ;(q%n(FTO(w) m.X2U ?u[6j Qi `HԻ [.@k*_O{0b*v$e@i=*Xc`ϯμe>,?S^ P-YV3PxaۖZBn?0ZN 0$xIS=Q܏t2J'#ux0{8ŽG)|a-o<2Ia¥&; ~)\ ցK\ƀ"j"!ACnƊ掙N 1b_\