symfpu-0-0.17.20190517gitc3acaf6.fc41 >t 6 6_  Љ3!Flض zE>b$bjf b$bj1 J?LgI[q` ? .ߡUrQSF[5ɻ&}r"?u%HFnPzldc˟h<5g"$9BL >y{#zvp+d֛\||7}}/f>x4fťpJzȣ]O3'geXB,V5ʢ4x8*ch2yS3ϲvΗL`︟x/;d%usS } 4 j>_8<'s)U4z<5[ ])<^cZ%2$ ,O%[2ƂgbAiDNs ~q~Pȍ P{t-M ݰha?!qPGrpF=B},B<iX٢$|ֹ4ir$#/C5AоS9NPDm9|JaZb(Ug., aj"70c6c37cc3e2c88ee3a52a79459b642522457b13d28f1f5b31d34b34f99ab04a2a60683fe283a979f26ffd8d7d408c9ff2e9d71f030204876d74350047304502204b17e4349707fa0ba2726bb2abafe1410ac184c13ee0e0b8d534c2e8b9a279ea022100f26be2034cb486d371917931e85a49cc04a13d2f5a069cbe42317e85cb2ce42c030204876d74350046304402205a77e77038fe3cdad94bf443e93d83d24d61d3065a99044f48fb05aab7e2a0c002205fed6be418ab668ca6f9c1b1886c444cdb1066d50f038ffe68402fd9f0c8b42d030204876d74350047304502201da2b5c335a45705965050592dead97f0c55e7f870a7bcbecd0ed8e55eaefac00221008f9293486f37fec0cc3b5060160599c949fb68c55a0566f8fdd6c3a5f47ba8b4PZi$r~Ob;ט>`??}d   ( _ 28@ d  v      u     6d (89: CG T H x I X Y \ ]  ^ b 'def l#t< u` vw< x` y8<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).f|buildvm-x86-18.iad2.fedoraproject.org Fedora ProjectFedora ProjectGPL-3.0-or-laterFedora ProjectUnspecifiedhttps://github.com/martin-cs/symfpulinuxx86_64(=( _KAAA큤A큤ffffff\/f\/7073ad9bd36854eaa295557cdbc91672ee9925319aee745d791cf0ad477543f89c5f1e054bc8e089525be9bfb4e4020e7fcdf2186958cde39ccbf396641374ff8ceb4b9ee5adedde47b31e975c1d90c73ad27b6b165a1dcd80c7c545eb65b903../../../../usr/lib64/libsymfpu.so.0.0.0libsymfpu.so.0.0.0rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootsymfpu-0-0.17.20190517gitc3acaf6.fc41.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.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-id3b9e85fb40edde04a483dda6e7d93b729bc729eblibsymfpu.so.0libsymfpu.so.0.0.0symfpuREADME.mdsymfpuLICENSE/usr/lib//usr/lib/.build-id//usr/lib/.build-id/3b//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 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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]=3b9e85fb40edde04a483dda6e7d93b729bc729eb, strippedC source, ASCII textASCII textPRRRRhttps://bugz.fedoraproject.org/symfpugit:https://github.com/martin-cs/symfpu.gitutf-8b40cc3ea852fc81c53b6710625e5307a95d69310a84fe877181553bb223fb21bec6311df678e74ab0e3985c2dcef280c7a977c6dc01849240d49f5c304ac81b2?(/hTT98 a# L+D$z7 IDʀ/֠4l"vd"= G`'V.1'ΙaylQ;'^ry즘aaԘlPc^IN\rc)B8G ьw@dS'~3w{1q3O2oV&0 (3vė4D1&|AWK65i[ :5+M.]XlԷ2)[]N_\.c齯rl6-V[ڮ*ԭ[Iq8X4naghݜPGkܖ^ZVy{m<]huR;jq8}$c4"ocNB2xiMnphMNYC Qc(Z cXDu a,WBO$zΞ4XFT4]M5Z)@lg(#j5)E*RviH#r@rnw.}M0=jWvg;rMci-ly=ѧ*{=egsni-SQ\oO"ր&q bN ҏ"I/0}plŶ ϥ=!T:qBu)P|b~HA Yl!>Ţ1MM⮵Sy˽^~)^PVڢv]έeGV|jzA8:ǻWywitY- yF>|rIh., 1 TPQ,BlScύ.q5bɷBOc,I0 rE ~0!ӲW%Aq\jײUev\+ Ӫ aX)Agq D.1HDH QPPM*ppS'vC:,LMbmІiOvN44-A]hИC8֐vqcDjDޡi) #n*.rÄÎ}v|97" S8̈OQ1g&fyj=^ou,دq}c^R'S#SӤ1bO] T$ \).g}ؤ*Vj&:2$aD@0DJ>o6pK!&9mF}*8Gl8xB Ft'(sB\NP%7M#Az$Aښ+"n&8|{2߲2̋)ۮ&:g"1]~'(ˣTٖF, Ile!j< 9Yg4ͅӷC&WƠ8F p{pPݠ4c7'!Q+սV?O ˝j][:tn?/6gu7*_zwzi~N/6Ү]}uOkwf8,~ksYvʒJYok[rYa[oqxOy~v}8jǵVIۚOu7\[WM{|Wl+G"XLKEgAi0rY#c3-[(&'EHz@/JGl,Ugٍcm$P6(4Grj@nU^i9ŵw٪Z^6/=st I$s! ͦ+#bX>`r]oP5E*?||wE8׮Eo)V5d5TFIJ*KU 1#NӣBcn2R /& .`GIoRG?W.3> RMWw4GF6OwJ*!~҄MlT.؀9O.Jz̩6#m`cg97:(>\-cS/O,fk6oQ/#R 8y0D\T(?"@]W ^W\$C ڞ7$ XiÖ+FUP3~]-/~QۇhCRƝxe {L}ˍ3:x"$?SP+/zQ,h+nb'ǃP Y#}V3St \Et?+๨k-1ƅİqMI||~*A']_GAU|^!~80ʡ?RE&\bHO̔%ORȑI4|{%A$Iz
    B?@А+2epsԵ&o !P:Q/FwJ]bh-l4wTD} 7=sIM9qQp0dQT u,pPSJBI߫OqƵR!`"ULk7OyzMǐAɵԶ]9ocR"׀4îo/I1fY a ;MEmiZs1X'MлPƘsJo>| Kx3 yj13W*O z+ +`%A3BzFDG35-m5tg>f r;+QCxT v6䟒~(Jh`œq.)Dsy1  hR|Q:i-NkXF/O3nC8/R8kl 7u>Od~𿜁Ý^jL?;0m0mi|cԽeu0l0@+tJڈ>f1M>tBF+M.BYg%bu*V92k7UQh fR9 9RV3e6ڤ4|e&.-Ky1)or@ZXP&p}Lָ0" ܉kil1оfY1d : @gnN={[yֳ9 K q u-{|뼚FvvL€5cp 9U_Vng*YFs?H7^и}~$b'`X=eqKS)&>F ؑZi^H=7fyf86^!bͩDjjOE8d0ZIiѬzi0?}5'm+lAψ;eX'yj<4 OM{!u HE8o5UNVιs)I/ |BlB<Ӱؚ-h 8?gWߕAoa8d%fBlXWputU,h=Տ׸. dq?~C>g2=՞v(Ce*QpsVc N95Y&kNL:M/q.0XM1; S'd/ ګ5#42ph$aZU`$R m,{ÐokU9䓢.H{,=Spͩ<!!!(j\}^JBl\0ZU`u""aa.ks@QbHZy`x 2KKg&"q,s6)*6lYG-lu`M]#FPKlI0(Ǹx7 =^:%j67{/XwO˷/#zcg!CvVPOפi#.fO g &J tx{p4Syielr6%b},A% D? (D14MM5ͱ`RE Y$" XN'I=N/tMF!R9a+bj]D)gpNm6 F%vWR,-ufł124ˑ3~4_刽P0wbK]1JoٴS9a[f2G5:&S_޺ i_vqB-x}9N#.`Ѡ.SlrFqF//koZk@ d))q&lpd >o~PB[}Fo.u1!'GXF&ԹnV\C-Q$ܱFqT}VaL=4lEH;`*OS//u<>/=d~T`nh9NI }j=T^9%u)J6"j_$%xs+kۖhުeU Y?$IlkwFi|z'0i3KYq $.2a ڞHjtd@hҎJ (R|AB4X˻N>Bt߂dsO7@" SY, #A4g4+ en' 9 5>iS,΢"+ܬ DȸS^ IQT9~P$>|Yt2 &<^cfB΢bHԻeJ8aH/uaGdRA FȰVY@XϹ\_kɥM.0GM ,}2!HQ+NrMk n'V1ZM)YOTL>cOY^mV,,L?d<q#<1eO(qp du8Lek Uu bVW_F+#_*k[W-8d~̄oI'2NF&*5!>9K2O:ّq{8F%}Vqmz 7:6Oj=3GR;ӣHKVFPPd<֠ z0^& 4@JFQ_}pM3'1F^7v"ӕ NK)3_.|Nѩ Ҳ*8 12x";|;1p@Ɩ8Y*2o"IY ZV[~ǷF9$ЋكK{&A{eB,`2):hZVaXf oXTͫju*4Van_y 痷Wl㎳qd}~ `aڀm_e];}c%0iFgJD=!g=W2,,srw5Pu{5O_{hΩ?Ù{,=kvB,(Hϡr #qrݪb^V$NEtQ12 ,\E%bEYe +'KNDf,˺&ܓ\Rd"*NI&Y.ʭXO%ҚfH-  %'$*+A)R0ea@EiZ,/N-KZ5E+#R{8)iq59!&WIg`D kmF}?bۍQ~;ҙo2Ѷmo3N s7{#6:npr#/ gg@ t^A\h]UIfg5!D:"44+Kvٕ'l C'x]z/5΍>Рo@;Fa>9ϣnpdTዾ.DìZ=璥s982tLi QlgVjnhGLek_X\ Rt>\VТ!r ]ȼc0F-xI+t BPLJ5(ApRL3i"uftaw+ƨo̱ל/0弾0PUV֞VlcQ=)MWx(4nΛk +0^p(Y[fciR澊;4\| UX ǥjaXx~zɥ \󢒢F7h%I:Ac W\cHHڌĮ!\4mL9Ae4길G3&z6[>u)cKމjZϘk(:%9Up7TP̫=NK"T>_b%b@5Z3"%2{rt1v^^ǭS(uR0SÂoX* Ao1k[R° 'JXY0i5Ŀt'27YT/ݍbaTdzתykGHkxIz"X r8ЄPL]~ֲ T\pܷ =9ʅkn4rݟ(ܘ4 &: neFks6dcs"H zGEj0沲#r`J L}hߍvjK˪ۓ%aXJı|ZUΕ^ۡ Kk+5-6"Ԉ`O0^}[ܣч̞֌KU61l B\.]7av_[\gJUT?%#0B@T\x<@xuTEb[ӅקԥI^%ӆ)8*8qˈ8jIGQڐKCj}_[ƨel![F sy) >nST;Oy/AUc7cdOk֙?N@NaV| OfY] :ݕaTaLJݐ_280U3u^K}Zl,'9&FD%Kr|E"o2ӊԜ ȣ\Z)]ѴOQe]*嘂?'Jq[5|%wLzf Φƥ<%O" Hޛyn~W 93ADXų|bdx4P٘7ņ{=7C6eVZ:/زDqi7oHGp8gd"RDdHxk{$Qnws^àȮzK6ZYS#""uae^|!KKI0k>TNHhm=9DH7  YRK;{LjS֨u]#J[!5|U+W5UϰxNG-Nd(ptCd F\Q(e$cT t`UtQkx.%אLh}^a ʶ%fMl'stuh T`xpSar6I-dk#RR-%]H%mhƯ=7tDGl_FJ)q5OX%<@ oYLRpn_QWVR5r,弛! dJAh5J"IMX+#lgJ,SU n`e ^$2(0)ٝ(#,L`ԌlsjVR].HmZ?W񢤟0J1%dLUCZ5jMU Hyxs#>v1VMW~~UWxƇkyԷ5o[,yIffP:> ԍ~Ψh0S6MR*]]-=s?s2%ƭ L\U {)+W{>J Pl '8_P+i,_'kChPL+H pu`{strQL1tR"%jߨjmzAaǴ#ScYEo x4#xV.uULĠ̀/N;߳f>]RnXoTz2Y% I"2~3XAz)lzѷ|1?\9Ǐ6[fbI[8a+ j5M³r8é&|Q"kV\˝K7wd)n>[x +5_B~[;|ilL4ec$K}TY9ܠWF (!t8ܡVP CJ:rˁ~Ӫ2s5 9%ϼvG;ƟMdBC`^F"Hh R"AXr^1 q]d9vwٓo90j"5HY?@Dpq =X`И](GДHl.it|EpeP40 ؖ/!%-Hbw~fcwaaƆg⢑dd%;wQ@r}H ߞgk#Pf'LӾ7K&/U0HUAˍHУ%cɸc-5ӡ-@WaALX7,Zx河ϵ7 f˹Dzs+! ;{&heR\P#J+Y7FF߈{CcP\xYa&g t9Ѽ$O?1֩ ۙB. 8/6?uGר,fY5A`20e ,j4 +?H@NS}wC5OKܱN\ $+͜fיd 8E퀅 bql!NaEdG̎uʴݲ`c"7; PʍЛS1hrBdhnod VF_ P:{k965!5*I3k1t8%<+-)FdE# [BJ&Uw|04~JRAjn3~~爋}>/}E伴I帍nZȣK/'e}Q{\ h69fqbML\1r; 73VL̐URt!* 0+zQ _OKÔ>ݔJޓ>l/D4 PMghĎZ/d0m(\Ygͱھ:x$`c3lQd)\0D JE~^M:ګIʼnt'EBNSbXF% ]S!*=[ӖbՏ}F'9sH&| u'+ f(ڣUZ ?>7Bn`_s\y(4Sr\ph-${_¾&$g![^g|`j; ¬":AOvmʹ &ƘKEۉN /7ҥph--?Ɣ^˅,>$;R״DTMz_+դRҎc_†Uv2Z$b=6DWv%捈 Ri&?>id#/e<-Lv _uxr^.8j"s]h[ʄvc,*0QKӎM*Q k 9X&hLE!&/2aULbf0N WH8#ЙC F7rGxTrTtmUκ=V6b%x/qȮ XzZ̵ ߎv#Iī@ un@]DXf-SJ“.Ra;KzQ͙qjCo s[XѴee!?U +jf gAX;`.(R_-rGP:nrčYGzện̈ $SQe-Px[PH9ͫ9ǖỒm;iD& C8O**3@j5N8o֚yX$9/Eo4z]h9Sr(ٷβyGEĊBy:<0RY$q}CRMCk+Yzog!jX͖)1)_rI fY[װn9$NC ppXx(Ɠ6n}*^ ds-I|ra\+