frama-c-emacs-26.0-1.red80> K KtĉH2!c31^ Wgei support@red-soft.ru  Wg`AP@]W-h!6!MIb-?-}g;zƓŋ(ܱ *w@`0V ]rRɽ)"fOcI3 3µOtPЋSOy_:vhju*vm!~.Hp4|1M~?w.`n_-v z.Y<$XĮPƼ;57U,l802eaa43c80dc584d5dfd253dd59dd384a0ccb4529723532819d89e6368c05ae7c979eae62af3f9c2f5a0ba187effa63d186286e.=r΋nۤn~]x>: ? d  @   <  N  `        ) Vt 8(e8l9p:G H I XY\( ]L ^bdeflt u v L P V  Cframa-c-emacs26.01.red80Emacs support file for ACSL markupThis package contains an Emacs support file for working with C source files marked up with ACSL.eaVstapel80.red-soft.ruypredosredsoftLGPL-2.1-onlyRED SOFTUnspecifiedhttps://frama-c.com/linuxnoarch[= s|Beaeaeaeaeaeaeaeac 8a73b8137bfcfa587c1ac6470dedda78ebc3f6f6541bbc9decd1d054177d12f1d50f9e19297aed2ae05157f5e63d5eaae76ede3f7d2176ff54ded06ccbd614a332752773d54dbf824d26baa756c2b7a68aac0f2bfdac50d10040c5a511dbf0ed18618276a2b3df89e99a1c8d3a7344047a1a42e2225959a6d13128ca8c5d515cecac6451f1786483fcf7ab76cbfe1c9ce8b16e63e6c85de21bc7b19cd6da4c6bf9b6116d0ec7efd4640f2b76c8d279c030485e994e6f97268a88b1aede5391888436fb37a199e911b96b567dbe5f58286e04baca15b2fc66c5b2bc57b8623416481b94d4b8b28eda573746167184b0d8a97552253a655476a1c72d40e25b9bfdae38a443bf78732eb440af8321453732eef27673ec459466a154ce308b42841arootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootframa-c-26.0-1.red80.src.rpmframa-c-emacs    emacs(bin)frama-crpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)26.0-1.red803.0.4-14.6.0-14.0-15.4.18-14.18.0eAAlexandr Subbotin - 0:26.0-1- Build for red80 26.0-1.red80acsl.elacsl.elcframa-c-dev.elframa-c-dev.elcframa-c-init.elframa-c-init.elcframa-c-recommended.elframa-c-recommended.elcacsl.el/usr/share/emacs/site-lisp//usr/share/emacs/site-lisp/site-start.d/-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redsoft/redsoft-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redsoft/redsoft-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protectioncpiozstd19x86_64-redsoft-linux-gnuLisp/Scheme program, ASCII textLisp/Scheme program, Unicode text, UTF-8 textutf-89c9295fc080e40b56b711d6e5c12d0042c6a3bdb98474e6a71af3dc04c3b6039df1d6eec1c98ec144144e16c50e33e4aa44d70fcaa70fa3178085581b9a53f0d?`(/h:'EXێJQ/Ej%哾Vv¯jG+~o^V\jcJdf-·1[+|uRʔǴκi\vsZ@%sb fG5ΑY-B#8/L=)3MVl2JuZıVgnF_;S E+6\Ge(V%mzb8_<<|JR%P/"d偼Rԫ$E rtip:EƓ9).řav\;l[ pd sw(MdHqT2ufJwʌ;6N'e= -}TTڸA)X >2bKcX7_uG9>$$#J_Ď'PL`XhW4I_38¬3}! g.2եhH -GX24&. 0pbcqKMEzHXHĹυ lτaTӀ/ܓaYCϯg  ɸxclB'P,6L,~9nCjqUl)!G+gkI7(* C~N#vDؗruB:+Fy-3nQJrJ' 6NtenQ1fY5c _8KTH!2xpd6_vW/EMl7&Pw^QKC;O]x 5J\}r70ưM4 AA$>\u,ݤI}wތ{_A=b#{ٌ7x9IIXpn7Ux7ᾒZJ+eNh2cF> fw)BeFD|a&Fbu↏ e;@xL /Vi?k BT7#C$w™jT5޲kю-S.cs]2"`VJhq҅W?^]VxܐjQ'|m/,ǹ1/..( L!ustP…~1)-(f`r4sPV14W9gs(h6<.P\.P0EÆ`@`a :6*X$ֳ1qVkaqW]N,p}_J_^%|pW  B F49Ÿ*cd?nGTPկ7-ۢ6`Q _,3:֛9gWt}՝KT41 ]]ײZt(F|fx!3; rtmgPc( 1# +Qd}1ZQVSrbxPTMʲīlEpҹql0bЩ['08!ı+I " ` Ƣ\k $S$ 4 @f0q+2O A`  .%_C;qf?XM~9zh[5 ⠢jIX$U-lv-7:z8dvnn熥bv^ TcLN;bF1J&+|y4v&ATTۤtu_ &)P#>N;6X|K ѠTʥNYet)yê F Ālڶ+ڭb$:%! *u4nrY/_⛂V epͳA5dI5Rmъw0"߰@{G#W`>b?vB@w[~JU[@$@!z\E OYW[v/*e3utbs056@6 Z?M1S&%_Lp[tn#eq3L63Qᱝ{ 1,&D:%A`&J=^(|E ![̈́Mвڎ?Nf17q# -)虯ޕ\/ZaKȃ4ܺ,nL8-[gQR1 !>vϷ4dK QpmwXIH4Bjk?-ۉ }BP>gѺFdx3nuHh9iPAvP;T9愯jFuĤLs mqr't Sl@ْr/}\8@VRCm5ːdlU^ftֽ:BŜd'oMO؋z){@:࡮nWˆbud{ʓ}kwd Go$ p5gH`θx$E%D Ns`7Vmo=-0$)ȓ ʍ2'?Q<< z@I:Ljc-{UEgkfyӴEؠB-TӎRI57xAVV𘨸ЕF3O01\dA."E#Ӈ_%H0 3֦Ȳ^#PTs+@b[ߍmӰ*|,&) % إ4a!g@H?F:wUgxx!)IT%hP.3d=qWPi9$6y.h'qlVhMHP EĿ:vTB:v.=vS)ٕ8YQ;_i7ԝ(TWHI$ګlXʙ&gr3ǪJdp_)ƉnuzweRx`n(7ng5u߁ʑlƮ|רּHvZ55 50k{vORTqD˧#>1v*fuli Ź͂-!؊J,q+h 1G̈5IvHqh&6 ј%FZ !L@Klݎr*޽ZA,Wby\6LSl z T+B=&ojG5*=_RZ[]5^n׽#t?Nȉ Dɀb:z-R$2CdX]}Q͵7Vn|X_P{jaeK= LKL5F0q %`wV;WH_WT3_?I,cw5d^KH6bv(iZ^}E^u^TU [@JIKJTc^@(ۀOAT嘂TxB;=8cXI@@Dk[aע% YT׍tѐp-M&NSb+R`ߊUqoe;C:~L;2b'(nQ wHO L k1!ܫnL[IF|Ĕ> C: r u| p0g%eAϫJkg$ڎhnQyC$$L㴦#$7 CwcPJ3'?)^U6Km>c+xz<aƁf)~OmLq)Ɲb2ą@Z$ SE* TwMB=H.⅃K|Ps\TL); P"ђ`u)&9m>ٽ/`0F ) q(8(.ƜxVT)fg};'l nF : sG0ɉx1e] XΗSxZnw*׷|j,VO7ղW][{2a9k@s=&zN\XĕQ2K5D۩j,%ޔ ԁī;ў֡*`~ϊ$ǹhd^5`Qn{򃮬HgZ`L}ڮk{ js쏷4_3kkQwY gSL>'? )1-eoczղD0ANn} ke)e`HR-ݍ8o~bSJټP;-e ӚE <ލ5Y\ÛzmRY-99ᩅ.Gc ki8Oc5SCQ5Wt ״61)6Mk#jq!o:# pDz88L"rܹFlNsLBaNNIաuqPG:a]{Ϯv9 05hj\@=z3OO urt$ O']ZmƎM`wX)(9١j֎Vw`iNzu)%סΚ<ƽŞkp6Ob ^O9DR?4D uQEMB=/òm F .6G+ [j#ے4űMVJZ#?j9aBv_(UKYEQ>4i*85l 1 4R8sc8XQ "-?l-RiZs/v@􆏀9~W;@hH}*+xe}m& `MzYJ켡+P"=Ӳ #+!:xD eHA.+q3<Bc/;Ğ.{DBMgf!N$mJ/ N.iޭ%kUr9c8V>j5AdCd\)6΄S~At15Ϙe;Ct?uzZ"~|!`ȍVk!T~Wn-ȮNBR!' XVU[7:0wh1-N[Ю/GU) X QXDBzr'a \E{_HJ#if3msYq*Q|i/ i:RTieFV #]w kA#%۾L0 x KY6$vs*rr27BMqCVLJQ,$ڎqw^OM#2< 6< C&~Qq;d YFkɄD9BHg  r"d/+AtMb^ѥrL~+'bGcZ:{^]B'Ia(>5GZq^db79c[jA {U.T0qdPsoJLH@ˏ4k8!zCksKx]61E컑#fgrٹ;36tr1c찼ؾ<2#[Xu8ꋀnڷzmSgI4w)P&:WΎ&GW'\ށM}FL*Gg d4Ze輏jD|69{y@0VvsAư2/CM[vmڞ\Kd1) 4Z44?@N+o3D\;T2^ΰ$ i D]\|`#xw `t+Lp?P̆sXoD9XH R3;`jVa%ˡ-mavÞl;0!dո8X./ͮLx<ˁafpXr>׈AC&)Tp&CNUJQ<);pp-ؐBID|E Rkt#