frama-c-emacs-23.1-3.red80> K KtĉH2!c31^ Wge support@red-soft.ru  Wg~n1r4WSvӘg(~eSҬOF =A'SĉksY{A &J$}BI#:RԶ2sns*So(֜idCH2E\)>O*Iմ}J%g pJBf_A;x:-M:=ൈ,Mٲ-M>%4;?ElY>rFa1&ν0,} gBF[ OQ/eda718141678c6abe4d43f8789ca2d381ef00974a74726bade1fd49e7bf4f0cba3b04d66f3b5bc4fca75599da616288120f26af5.g]M<zx>: ? d  @   8  J  \        % Rp 4(a8h9l:G H I XY\$ ]H ^bdeflt u v  p t z  Cframa-c-emacs23.13.red80Emacs support file for ACSL markupThis package contains an Emacs support file for working with C source files marked up with ACSL.dHstapel80.red-soft.ruypRED SOFTRED SOFTLGPLv2RED SOFTUnspecifiedhttps://frama-c.com/linuxnoarch[= s|B`cdN`cdN`cdN`cdNa13578ac81f409fe1a63182ef11ac142cd2b4860b0899ed82304b1188c916ec65d50f9e19297aed2ae05157f5e63d5eaae76ede3f7d2176ff54ded06ccbd614a3f25bcea8ce80b44340c77566729d80e95e9ee034381dd7f7cc9ca0e2daf2e50318618276a2b3df89e99a1c8d3a7344047a1a42e2225959a6d13128ca8c5d515c462b238fb7e1affcbf64847a141403901b504d5a654233b2db0d3509beeecdd5f9b6116d0ec7efd4640f2b76c8d279c030485e994e6f97268a88b1aede539188bed1ccbd8b047323634f357860cdee238fadec2bcf39cb61db26e53497bc8909481b94d4b8b28eda573746167184b0d8a97552253a655476a1c72d40e25b9bfdae38a443bf78732eb440af8321453732eef27673ec459466a154ce308b42841arootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootframa-c-23.1-3.red80.src.rpmframa-c-emacs    emacs(bin)frama-crpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)23.1-3.red803.0.4-14.6.0-14.0-15.4.18-14.18.0dJAlexandr Subbotin - 23.1-3- Build for red80 23.1-3.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/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protectioncpiozstd19i686-redhat-linux-gnuLisp/Scheme program, ASCII textLisp/Scheme program, Unicode text, UTF-8 textutf-82a67ccf07dd5655fef8e52234cbe41243c5f12ea48f4c20435efaa0eb4c988ca388139c9c4bc1ff57cae59356fd31c50653f65805ed31e383d7172092713ad00?`(/hz'EbZe]؉({šsecKG+~wW3Yfl  ?H[nraԫ2%1mv\),#i5ڒre@qQgGUΑ֍EJ#f(Sn:w̲˪6jYsepWL: <쬫3m%J싯)fJ|9 ]g7=1;:Ǜg[Qj6glI#i))Y O4IҤ 4]8"I#$cqf~mV.8^ns)e22$LҵYYW+r`-}TTZAiX >2bKe3W&" (9GBBcDG_%8DF:@J;)NiKJ%FpD ָ{ct؜%,{TVuN9ڙ 7d͒(aϚƵDN`$FHv~og+i3ۯd5>wy3Y(R 9:@JgG-Kshz&-qT` q>7$ci8XM@|:l, }jө@as ddXB:לá8e៍hp bhE7h.^(ei6W6q1 N41Xrn]EU}:2+}t։mabld ng3Y13 ?+)(`k< ЅaCotvK(28FGaamY7vu/EMl98&Ї^QKG읧n<s OOA3Aۚa)lM"cP\. Xf?tћ1;xd'ȼK}d/7qW!/',qFA\[i F5^ Ic pߌZJTϕRbn4F ȡ&j(n^m\`BB`\ЁÆ:hx.,Vzo5x f:_X1ˍV}T=ß P.8ȈuraDκ(a7x:2!6'M66Qf;dt(g`E8=08s-:=P5v ECa]e]\EX6ZX@Ջ "'N>bY"̪>@(tzrrݩuc ]B;LlDgdo CeFH|c&Fjud ;@xL "-#~ZSEKQ%ilGE "!3ΔWqvwelμKZ\tǫf4*7:h7zpfǹ1100(L#Jest…1LfhӸ=c Kٜn} 4 ,< (-dѰX<XZNˁ : 4Y\TGE5Չ8ɫ.'0/kD:-n"a(qGU_y]NvD U]uRCAqMNgͯSw R3.%abS \54!d-8 åXW"hIx, VrbHGƂ:\tԆ)npbuaADQ4G ;48> q)~/\S ԉBҡĄ+ "X"\|nYi: baa11Re.FGñ,+ w6Yk.p8p6E…,G O,sAp t6ei8̨޻K fQ9ӬD `iFwyLݦ4Zت/a(RΦo>טt}՝K d!9P{mjU6U5b1ǻ\O$l$ě@o]Nqflos I2ӽBM`EJYT%zUn<7- zZŃSjf9Kz%nt˩M~o7.P!k_Kqg$OɌLfs9ޫ? F7”"Ո%9B `tD`X08N8bo\Ʒ4#R^}KVS nDZ,əOgY@:RIO$L  eLPZ?idSS|]XFpDbo:5)w6q%+`x^8oaQun/LqǰtڝL1 $=16 m;^" |e Ƙm#V728QƝۤsD:FV!tK9,7f§'BbԶo.BPY,93AQr~3$7i O#dHuϒf}|B†F\BΒ VSj u;!4*\xXxpm%A/zY B Prm83Q2;AmZ&8?RuQ],*FSC갮$= ;A5(_5*Ѳ崭yjPJ9ǬJJ=J.vO\hd˜Ȩ-eAx5_X7 4RFKHbIC>DY9Y"rMe %"mHb|P`ͷQ!dWAE߅`H.L=O/ -'Rdf#RC;RibHYU%A:M~nxKD ʓZȤޙn|:N2X(S2h9l6vV% YL@Y%FqErChPS 0#'! UK>`5>n<@2Su0o_dF:ay#K:eE5~x\g1OHt28("{[RYՍYf 㯙,Ma]YX0 K <49f%.3 U6}!i3ҎD 5 aG/E"v9)oN:ock:SC=ŦH)YIǫ yq>#|tBdt%`$yq0f݆'#҄ I+2xI0#ȰY 7Jhw`ukB==i!䟜HTd#ֹpo'+^+H);֎\1ȥ?3.9(BZ\>u]1@=1ǀ waIMvDN*8* ɐR,Kj$sgZBz.<0-EzGwil}!H' 6A秣aV*ڎ4(GJ.I)'r2@؈n袏Q /̓=FˉIыѰw"h2)j٪PL$(gLynK Z}ߧKh9pl(E)PtڊφդNK݋#0N9ۣ[:OMV^9x|V)IgbNx.WjS*ws4L^?iLbجX F^*`p q8 s:| gK'0g-M;&7-w_`K簊]XɮFpsG&]"Cyјj5JqJS%lD^?$&;jdO;EeXvhAd|}Y%1/wEc[Ed *6Z= $_Q3讓+"L]wV?'ֺ҇]1#p$@f#kz7koĜR?H18ib>9N&75xw81 L0E@]\0| POj\=(Jewo%s"1k l޺`BiI\>w1<+čǢOUmWfEOq(t(hDִUfJvH/kb˒dɚ\jHF d0k*G׺UЬkC[ )]6}?CR5::gA7ܽ@fb0 Zlc uGM%P^ћ !2EB?h >W=Atyq40\ I&Z_ @2Y|]IEeW 07$x]aARhM%ۙ6gI.5Ua Z@x@xV. %Fa0Lk|nTh_jW\g~bzl%}d7^A kjLc5")3Y-ܾ/d!tt#BJ:*^UwLwaZL'Rx⪣1)W9(i2\x#\057XYN$% o) @-imyP_DNZH=QqB8%`Œ= 1T vgʹg OA2ġ=QeC `S3Rq6SސR㸮~gmh}ؼY;V-4b{hVHzBa_[{ڴvpq4$T8IRNزLÐg Wy lii'W uSmR9nUKPT66_ժZಕbdz;4Gf#?c!vj0$e=_,[:$t %PZr}IvPN}3ЏL`S5xVh@̥zh#M(/@Gt}ҍi@2o\!1@eAXOPyhLMţ9u sNY: ;S6y T818&zWt00Lm=w&Z$3!q3bbFyΆTOnpA4!p1I3t4PPA?9clTp-X7`,eY7H&J%b"W%R֒o0퀿#'8X9 h=OJpј[Qr௺ jV޼뙙= k^m~S-rȑ5ݩE>V82t͑/Jx,"Wd1Ex4G+2|Uw:3z0zfVeƭeȽ}L~]R{1 slҳ38Ǻv2aX*%c* G_`z? #2ǚ}&, qZ`aAܜ)8AY&*Hmazlf|ĦS'c`;w d̀ە8OLqL#m~RW͛z*Y ]ߠiO#'jA6QWʚ[3u ]+lfck+&"mbkiہĭknhꦆ 7ߚcpj9]8q}<ܩ.w)s >)7:l;tk:8N:q8'#T55xRCytBTf'#|jCqˇ/:h5niD=t*עPDNH[FNa (,B>oT;6 29&g_P^ABX7ƅ /ڼ ;{ H;xHL*요g˺\F"Lk/iK *\]9DAP)=c3~ QXV;T PEā!Kpu::S@Ŀ'ӁVed4g2Z $ޥbKNI+~Ap(0&$@h >7dŎ,FG:I55HihS/ėƶe)$@R4C cU$mș`OHlMd,c23A|e?haOcQ! 1G*{{ H#1>Z ?~Piߚ{lB 9RQAT8C] *SfRr>S^PW v>g9j1(*=l/.@5a~|kHBkжzБb-!m^?':^L$O+1*4h& ieS/, =fl]`E%ܢh>U=ύGxң\ɮ$w_k4qvuR9'K8))nzWKCR;ցT26cV hDbuGtc*9U C/Rpav*龾[>zjJl9ܸ1M1PDDD/@?W?zGu/"+f#QpYJ `ϴcӻD8ԙc pi .#LBS~3|2`le66?brrAM3v\-{$`}+bZuCD=AL2J=E^kGcQ PVlaMCFo8?Eci[Q8]#(1$Yй.o%;) ,&:Ǚ ֑#f!ʲ{%W4\n)= ڰvU ǦC)>ťΜ^w.G^ !&FU9|+S