symfpu-0-0.17.20190517gitc3acaf6.fc41 >t 6 6_  ̉3!Flض zE>b$bjf b$bjnjwuZAS"s1ܞ*mJܸvvXuR1O 2wd"dP֫k.?vx$a7yפ ppsēwMPcZH`TԡHzė0N-(u7wGГUma:)ġ":@S1܁J{Y-SY+'y 艈n{k$kr U[L^ G?τ%3PVjR4~9bb55d0bfe6b2af60a2890c47287f69bb6f803e754c503a1060f3f93d7535b9205340797e8ee7c9e323ffcccc8cb5aa719871b42030204876d743500483046022100a7232c37b8774bb6f6235b8194776fbc3a5c8f60ce466523f3b2823abedf74a7022100d7b95439cc19027851204cbce6cc0313e8c2e73f19aacfe8612a4695aaafda25030204876d743500473045022100f1ddc1b97e34546440448fa7f58579a24e322db4bbf88c884fe901a2dc1da18f0220290c00354756fbf1fab7867c0c593564fa63a695c9211fa8e65d5b8ecd73c078030204876d74350047304502201defdc9b9f5f7cda32016af56531e2958149d2a8737cc7c261a861be7fb183f7022100ce7cbf693b374a9a0ed45809c454d7bb5e619753ba97b3a7863f73b2003e94c7Q[ywXJ">`?m?]d   ( _ 28@ d  v      u     6d (89: CG T H x I X Y \ ]  ^ b 'deflt u8 v\w x@ ydx|Csymfpu00.17.20190517gitc3acaf6.fc41An 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).fcbuildvm-a64-16.iad2.fedoraproject.org\Fedora ProjectFedora ProjectGPL-3.0-or-laterFedora ProjectUnspecifiedhttps://github.com/martin-cs/symfpulinuxaarch64( x _KAAA큤A큤ffffff\/f\/797e29bc8514efcff28ab0f6fb4202e23694eba9267cf7ae189b7113ab128af79c5f1e054bc8e089525be9bfb4e4020e7fcdf2186958cde39ccbf396641374ff8ceb4b9ee5adedde47b31e975c1d90c73ad27b6b165a1dcd80c7c545eb65b903../../../../usr/lib64/libsymfpu.so.0.0.0libsymfpu.so.0.0.0rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootsymfpu-0-0.17.20190517gitc3acaf6.fc41.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.19.92fe@eodídccbFedora 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.20190517gitc3acaf6Jerry James - 0-0.12.20190517gitc3acaf6Fedora Release Engineering - 0-0.11.20190517gitc3acaf6- 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- 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.17.20190517gitc3acaf6.fc410-0.17.20190517gitc3acaf6.fc41.build-id609797f768d2a7a293ce8097a13a73d2aeea077flibsymfpu.so.0libsymfpu.so.0.0.0symfpuREADME.mdsymfpuLICENSE/usr/lib//usr/lib/.build-id//usr/lib/.build-id/60//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]=609797f768d2a7a293ce8097a13a73d2aeea077f, strippedC source, ASCII textASCII textPRRRRhttps://bugz.fedoraproject.org/symfpugit:https://github.com/martin-cs/symfpu.gitutf-8f94832b71866cd10a55aeb06c85003f90019c03cd6bf5f5829babf396a11c94e2da50a32455b2400b9bb37629d6b4c4d941b233f26caafa3a16f5e8efa14ec11?(/ht)xKZ 7R,)G,w8/ߺ+U>Irȱ %ƇJ}|^#O(D8[ӻi;Sff%ݘɖ/45yﱔN欳1SkghjzlsݓD_)ۗB Ÿ{Wm _.iv(zgjS8!!ziŖ!Q9~$Zbi^mwiif2›dk~Xׅ1~c sˤ`k])r˧u4)lEiRE0_wKuykG uoףmuk~۫bS&_CiΡmm)AUaK xA%&UuePvn QVcT^,%yʿ~ecSϓ_Ъvkoh 5ãdb4fy=i,丹ns0AVM Xbv.yg0C8&wtiot?}a:~mDsև߁#\kHDDD$IAʬQ&#h'PD@ DDbHl1NNoxuw1R"Ñ, 7>vhra[ݵ=^h/ eq_&@]˒0;rH7 !4kWLQղQS(RFv麫½AޡJ$4ބ֞mnC$3ow^MK1=y`/mh);+ٗo l5!#Gd kd" L;nJiu#N `Y.i)e`<!u/eNP~BGW"ˍ'kO^Zt7'.?}fvJ|'"Y? (X=l^KCNj`-F[%\L^Rs:ѴlwyPp>NbdDk%wn|ݸw:E(;q@cg4$:u^XHOR3EhZoi/lJaZj PfkMeіRϋ$aAutpYHpy9Ww kwj];_ݣ)0ڦ `[sB]9ր쬬J̆뫳+c,:v~ؗTIVR_4B;?)#td';m^j9+}uOj4bkU7klž:_mWwCr)'B=3^|K$q/fj݁9;9y"X?>DwYHD}5b՜" ~o6^e{-dنB@yܸ2Ay~aKn/qy61ANNN&5Ϯߟ( ` ۛϨ߫S*ӾkMOl$1]%U $ɲ!1Q)7sʊbH0#L$"rIi"(_9 i`XT9P3A~>94>'w9w7ˏ]PLN6h9ޢ)&Y ʫ4 \5fnu֫;NfX"x~rHbxթ(A҅Fâo 0gmFy̾{)B|f{ccD X࿴7,wIR3{-cZ$ g @xfan(4ٖ&Õ#Q!ꔆ^M滿>}..Su8#E+8Gy]~폣N#d,I ԃo?{3<$џ  ˇ".߇ ^'9|.?/vͬz};pP<įH)ûaX:Sǟi(| 2.Fdmstatic void ::::::precondition(bool)/baseTypes/.hb;l,@,hL|x t8`0,,X L4`, \ |,PtzRx L0,h<$@PA-A BNh|,(E B G $c zR@k%4ţbNF/K5?9θ<Ν9Ssq<0U'h4盆gDU]¢{6R- L`>0,kߔ;mX}k[MaNl;(0(s?Y  S1b'Y8Eޜ2iݱo"-dYm 5h2"R ŒN|fT],bSXV:S2ZNR1jR(&ēnm|_-4j:o&嚡:VG3]mmyb]{B;mwki#9u8P;SWs$ ̑;p@B;pX/om-ʬPXoePD4f+CloO7<䏆 9aӎmöGdsz?e8L;E?4OqZBǍȬ%A劈azx?H%'lQXoGb dmZL%>l6_ی #?lBMg[ Ni*gν;MtT:ڡٱgYZ.shstrtab.note.gnu.propertypackagehash.dyn_relapltrinitexfodata.eh_frame_hdr_arrayamicobss.attribute_link $1?I h0QY DfGGf$H$v"!$R*b1H@D" E$)*@08Kq?g'Y·(PX4Bp.… C] p6*f tSP"v+d3b%ڻcKEcVqt9{zQXAɆ{'D:kXYt J 8_;cģw6of!zń3jN~qf l0 GЎQk5 m9xniy-P鎦g]Hw>%M05wԘD&IGչڨ^4dYz]J-e6|$yyyۆ~ީ>ƔXD3gk7oD(~,rПs#p8.'v5Ӟy QlK'U^͏G^i^#5LyH3y֐%f<  q8C !|@*y"m{%lB<3$J5]UQK7ij:]jknR^ȑw=o񮆗;iȌCFz60^!\s}^1[z,'%H-RˌiFJ( HDC&&BY v`S!萰 g1 YBNB 4H&{xYN;`m`"\ O礧o{fa<Ƿ=;^|gS}5ߧG{ؿZQu岈iK[1z^Pd޶T5W9;e㚥xcWOۧ{ ǬÎRAizqTT(G[^!R0)[gmEo 9S:{wr wQ{\snja:>B.6MǦ!c#+\&پD, hۍWKf^>qf:mŪF/]dJJH]Yk|ՒR%[$HQDC#I 1FAJ82b$1))iQ2^ۭТ3lK!5M6D]-(1A9SrUx1y$;8jK33A (5Yq&?rdG Lm 7?|1y [{?$c9 \ F#j>${32 +*깆LοL<63YJ?i_b:40 !.t;~ (9બR7b$N5g/QC`!qHNx엒2CFlGvEwVja_-ςjP=;hCLvҨR?rE;ٶ@NGSA^+JC8 P}yT% "+uz=Q_X b`~>dvETP`i6NgwT^M5l;>j@wD3N\U}?xXmz^_^K$0 raX-ۥZn !$_|X!<XB{\ RZ36\ :{AÜJbqh_0o/9t&r R%D3_S\PW*IsD6Xlqf %/f6b{ 5 ͔z^z Պ/iH {->i.@േt4  }HyvdQ0.7H5ͶL=+w5f+wO/iqJ0x?L([NB1lQ Gq{UU WGtXAɠTxGFP. @:PHMV"'b ͮw۪Gc lwo1]_ZU)NmV܍VA`ڟcWӇ]Kz1mlj?98W6W {q3EL%*1]~\hϋ[5k]2MY/Q^/ocy{[z.۲u Q/ہZR$YդPY6B‰$)M"Q* RQ J#ՊWgxN]E<iQWR/sl QEIfef~ rp&LM8{Btӑ`gsj?hg)7q@͑AXCnZx[ zz,u*u"tWQn0KRPhVJqI`QP;PIGR̀o(kPܽܖs83R^ Ax3E9r[R{rAQ Ehq̡U ɂ #'g;KDwh<@d+խIذ$f|b+n{ÌbMN4#rx0cb@l-1_UA(w}BW%ja L٢""wdnzZQ*{>p;ޫ"a LXYh[OP3=NK3 CE)J I G*kP 9q0b-m4m|u;rqҋ#L{A*#ɦ;?Gc!|27)Pf|] lEQGrf0<1J3όt/TǍWE@MDh~%h#4mmׁ9xҿ͟@T tpul˃4 $a+٢rg8Km{,>ꥍv~mVŇZY(l_]SZ62c12qn.?6$l@T$* ZLV uNoL˹'7Mt(UzhSv2R!}6A ӷ"bQJ'MrߧUܪ1cOxҕvL~ hG_M!⼅ &RDEP/ICN _?o} _ ;>X?rѵjߗW9zvN~한=uFy:*,@k|ev 8$ܖ?M1F}4.R׆\7dE>#?G,|AݰZأ|]0xG"ᙀ-*Ju2:J/Tyg7(] GI{c  QIJ=#"F I+#fsqh2X;O7(Qσ},Μ><^~ vlbkKG=!I1ܞ)v5jݔoZƤ|+q2"КElnB4_>߂)M"Nxp(`(tgFެ@er'Sm$"zkE0N9bJiړ~ b}b>c|8W7ʚtOֱnl*~y}lDpjHQG.ckƜSX`bOlo9ħ:d82*BXH^famP9Tg$Պe#3Kh${ ݘͨsҵ,̓0KAʰE[w7 ߍX%>+w;2PDžp 0W\0AyN+Y#;ԢyKh% Qme@q@w7)\bx',ăilqfɀmER%oeh1aƠu TevcxgQ[_Xj L vU#i 7ŭ6- >$F:aW=L 1i]*pۘ  KdCYW$56M#sAdʫ0t%Qq'VZXm pOlz82ӕM҈-](8Rv\ia< 1.HH^wGhd˓ 3~uX=9< ɏf?ѱD1?xcuHƠ鞈y1ͩ4I[{C| ּn:<.-BSIK +~?CzZd[> WBWKǗNLAo_84LY߰oBFʺ]̇dQδl3>v E //[i1j.@Y*\4OGƜBKc~ݦ㸙5pO#:H\O;l󚋲;6Sȕ|=JG#Kۙ\jн4 q uoVs}NAbI Lt`Aj&¥/O1\ˁ||v#p)0RbI~ETRg964"u0?ZJ~ZtYDZ,0($1Y2$/&6TBWQ '&ZvۏKSxFr)13,teP`ꔰ(AGy B^}!2`mr.עOF!TUI>_@+IDY!J&@c-_*1yas0dU੍/4݉A4 $&Dv];}$5;wS9LC+8 c+({0 T8f@!paPPw^mrequI ]-W4_A*iP-V>UӃNh^S5~e6$xgwF/ ~| 4BcLGם(Bh\bdjxov.Gdb\&Y0BV;'Sp}2s'DNˌ%dbR-ΦSHɻcZQLw~Q?{* U^"ʦ=Z"o{ L+"CpRd!-`#i@U[cJί?c#F΋;Ԩ@4pcB@0$~v513pO&^>2N~Mo:Om z>(>S ~٘m_=&lռs@toS~" '}p\DY!n>ek0D῰^yZ"ʌ6Ÿ;p2rPW9fۦKbMB٢Hz&,'OW>#QaDs\ q)ON+q{1S>d>ϒknY=5T/cA~D=j!-Ri]> fGFs{9l.oVE4b? RnJ rLsSN<ظ^h)bOͼpO"HfCfZv0sgPVC^d&d56m gMr H-$/tk% 8LJ֘rDIILTYPGىa;&?I⭸$cV%.w=Z o܅Ϟ*ySB[]HP *ЌactsAox{d!Y&R8O_r w_royK@qߙB⧯_,}oպnl;ep6vmk텻ݴ=}FmVJ,[\D^L6zaxy^%"U;mk,"bAF2`!ךV+nviYD""k*1^߰ײi?aO$f+~yhr̀epE I1b#:.:OA#X5p &9]H !J6|$t0f|EEU9Àd|iS= "LёSԄ 0DS9!RĈ愃$&'99(:&%Ek&% HQRr)1{Mͨ .$]18(^x*~my qR;*Q\J%Y~7ꚩ:o"&R qYy"U=^ݬf4}B=95̢ ͑^Xpm^j=hkZ}7]kBJ"z|XRt8 )#aΔY1=nU#Q#:~D !"srqF8W5xJ"BO?z((c0S>J+QyA(  Vm`mxBY%id-mlYMc)OJ#mE]m".9 9\Mpg<{;-gG$1fDDsS0~` #T/t޿uG)&,%'-ZwNSx'$m˵N=IٗZt5`"͑W+MxS?ۦnofĕ BPX91ևz he"l'&G< CR7AU ba@98R?+jDE 2J0f%Nf 5a}8[~0{`Z\q=,̃ @$:84gSn|ѓ}r tOi| X̅T-Ȕ6TR'&3 ĉ.WO""7p&)"'v< BlڽJH.Χu.apZbв&z{`xedUՈPtSj*۪_A{,fְ{d X,# jH=GU9W!n2;Y*J"{Η}ESPI}I,Dê@@0$탎IWsW%Yhj0AE>Ji;/apV뵇NbRGVQIB& ?ӷ'ew_N|U6gHa0טUq^xU|8z|²gY~"7Zhe*$D}aȀ/)!$W:\:ͩ%Kk\>1R~p5FrI|oSCk$r\#ME5Ag;QH5~j_)B"mD,!pSnBAbJ~LH#гQk2 8FDtjjC75qWixN"-\Qֱ%Jak2@*tI GQTZp|Q%}FQSo U6 DDT\C QҿB@5汾ٶ$ <ѱ`e aέ[SGIo!;9(i30qmt FRK3z3m}WS4ALt|25"yJg;sIë l<o#)fa_V֨]Tz+)K3m`0J20z:*JVL@JJ;_r,bōҖeՋ" 7Rg"fd-Z Oy4;PzH%gq - fOz׿Q8%Y3u(AԜ ~ v$p-{mՁ\a 1ta**UeWJYptݿQĐ5{w`ӴY pp֬GNn{3v_i5t!7NMKn8T+z@T}:O2|Z1ǝW69TqOʷՕ^xP2,O>fz 3̵̔ Add 4[i/~`<"R~a}}YMg`ǁ' z.Vzuo=<_ E@SI.}+겜c?tV#O *w1;\CQ­̿B7!Cpp|NͰ%]%2o˾3!ûx(HitHGhaՀ0\Zs$ѝ*G cG:\N 9fOiJK.䙶1nPlɘ Jx\roׇTṘya|rvP]Y8k꺟x`j߂nWD 8""~c/ߚhM+fPSDk~iJ l.M= pRLk*mq1\D }P? rvJ  x.6J ,4IDl L8YY*D0:]_pLoG|z:} :lAGЭQI<"/Jto$!v:+dPn 943M5F %m`1A)kϤ?E+\Q#_Ԡa;є{ӭ>8 m"^@y(Cu}N=n ٥hjAsəQˏV(?SJt.S"zL~^(Eh/'"I-O jǔ 5]nK:ߏt$|rnRMLM3uG)e—NХYP/1.Z@] 2TsM2oqXG!c9`׾sqc"_ƒA_)*N=Mz^m -+#4p\A'ݪPm쑫I 2۟-5`*kolOA̷!⡨lIܛt8|X(x`0KY7wSh<@ CScUR =穴> ;N׬$?KSlXk"䔗G)A4;!h_i#,h5Cgb{hRmƃeȔd.Hv pH Dj=,_.#dž3Kky40ZH6l|`jB!rN I*۞?l5P9#tWWxWTTPU!@ 3m`^89o@5^エnMBb&BX)/޽/sÑKf7:ǟ