frama-c-emacs-30.0-5.fc42 >t 6 6_ PTXhl3!XPȬI^DgO ȬI^Dۻ$(B,.%=^pS3a _I 1^GwǏMc{e'=,W,h=1 2jNnPWTK b97>`÷N ≎6ukZA+~Xm!dec &ʕ'`Ő639'd5/ (QMIEcJZIQ }W-Sя';rn8?鷑@lOYoLd'9Ss\C&&HqB_=B(u(9lC'I]1>pQN u,M7=*cEbd0dc384004b055431761e3b932a9daee614cd98d9b8ce9d84901602463ad3270891889b9ba14dc6484f67ff24490715c7163ab3e9103020462f02aa4004830460221009877f66b030b5331cb10c5c4b46609d2516bc109869e798518d5c243d5497650022100a3249b9eef6d7bd6d017be17412c13356708ebb32094a1c0d5ae9b18db59d1fc03020462f02aa400473045022100de1e6f7a0baee5d4b8942c61517b351ff913c355443ea40cffd4888b22db9ee5022036e73b8f2301db4a906d4b4c6a56e8bc50adc5aa0512d35c7418ec92719fdc1703020462f02aa400473045022100fc4424e1acb259cf08072b01556b537c4154c91be145c5e605d2ae9aeb3e29af022042ae1079e7a3d8725850d6ecae8f9a79bc84a4384bd91e2724bc4d1976ef475f03020462f02aa4004730450221008b424d2c4063159da848d07ecf6084fa11070beccf9d1b9245cb6e5a00d3744e022055bd155fd89021811d31e6f4c0834c315a1cf157f816e941e69a44807d3ae6fe03020462f02aa400473045022100c65c2790f64c417d2be8a70d05fe0f468cd80d62fb679392ad53a73edd7d0f3202204b9074bf69e7f9764f39261ed415cebc7ad828036865411f9641a8f5d2cedc3b03020462f02aa400473045022063e5db4ea992ea585f4b7b635d2c3b046e57b7302d90f25f343248c92aa65f1d022100e59ca9d22bb736b568190b823064791cbd6284845b85c45c66990f03993b994903020462f02aa400483046022100eda69a8506da20f829d4656cd6c522ccc742968510c810c25959f10768d9c511022100b5ff2eab8496a6cf7acf52bf80c1e7b385475ccc178161e40247178dd2d2ff6103020462f02aa400483046022100feda89313b8e342618cf017c4c0a871bf68089ddf79e2d769cd126bae260da1f02210098e060cd503572f026262c61840532e2e505df25b85815bd71483e7a974a511403020462f02aa400463044022041356e1c45a87fb4b70f733c10583c743743e26abf691d08684549f37ff98b4a022054a1929ebacfc7c489fc00bcf6a3fdcb9a6eb042678522151bc5bc6320f80c9cQ=uť]q>y>`<?d  ?  ,2< `  r          M z \(8'9,': \'G H I XY\ ], ^bdeflt u4 vXHLCframa-c-emacs30.05.fc42Emacs support file for ACSL markupThis package contains an Emacs support file for working with C source files marked up with ACSL.gbuildvm-x86-06.iad2.fedoraproject.orgsFedora ProjectFedora ProjectLGPL-2.1-onlyFedora ProjectUnspecifiedhttps://frama-c.com/linuxnoarch sBg6g6g6g6g6g6g6g6g6d8bf7bd1ab67ecada5222e25ce14788a5bed476d4cf02ed85f075f767c9c872df0bbca4d34b4567bb2a151fd3be9ee96ada67f1202cf3c6823af23a99a896513a7c15ef4ca5355790eb212a8740b905f6ba3703c5e9d71d651ec37711146ecba7e9fcbcf9b27aa1fd144cfb2c522342e7ec200bb0265a694007b83db9c218861b54520eb9ad272a8fd1c08a342b959817ce9231e39837bdc0d02221f8e560d58f107ea26b84ee7afb524808386434b4ac501a6c03540add53adfea67356b65a624c1f7036decb90588aa07557d4cc08e46da9f04d19af6f4862c18951836c679e43565d0698363de64906adb666709fdacd0b7a246762a05ebaba23da07c3631ae38a443bf78732eb440af8321453732eef27673ec459466a154ce308b42841arootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootframa-c-30.0-5.fc42.src.rpmframa-c-emacs    emacs(bin)frama-crpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)30.0-5.fc423.0.4-14.6.0-14.0-15.4.18-14.20.0gggg gR@gg{f@ff@f`f=@fr@fp%@fj@fafXj@fO/f! @fg@ee@eed@eexK@eoeSa@e@eSd^@d\@d@d~d8dddec@Jerry James - 30.0-5Jerry James - 30.0-4Fedora Release Engineering - 30.0-3Jerry James - 30.0-2Jerry James - 30.0-1Richard W.M. Jones - 29.0-10Jerry James - 29.0-9Jerry James - 29.0-8Jerry James - 29.0-7Fedora Release Engineering - 29.0-6Jerry James - 29.0-5Jerry James - 29.0-4Richard W.M. Jones - 29.0-3Jerry James - 29.0-2Jerry James - 29.0-1Jerry James - 29.0-1Richard W.M. Jones - 28.1-4Jerry James - 28.1-3Jerry James - 28.1-3Richard W.M. Jones - 28.1-2Jerry James - 28.1-1Jerry James - 28.0-4Fedora Release Engineering - 28.0-3Fedora Release Engineering - 28.0-2Jerry James - 28.0-1Richard W.M. Jones - 27.1-8Jerry James - 27.1-7Jerry James - 27.1-6Richard W.M. Jones - 27.1-5Jerry James - 27.1-4Jerry James - 27.1-4Jerry James - 27.1-3Fedora Release Engineering - 27.1-2Jerry James - 27.1-1Jerry James - 27.0-3Richard W.M. Jones - 27.0-2Jerry James - 27.0-1Jerry James - 26.1-2Jerry James - 26.1-1- Rebuild for ocaml-ppxlib 0.35.0- Add patch for partial C23 compatibility - Disable tests until upstream implements full C23 support- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild- OCaml 5.3.0 rebuild for Fedora 42 - Add patch for why3 1.8.0 compatibility- Version 30.0 - Move configuration steps to %conf - Remove empty opam files - Link, rather than copy, duplicate files- Rebuild for ocaml-lwt 5.8.0- Rebuild for ocaml-re 1.13.3- Rebuild for ocaml-yaml with ocaml-ctypes 0.23.0- Rebuild for ocaml-ppxlib 0.33.0 and ocaml-yojson 2.2.2- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild- Rebuild for ocaml-zarith 1.14- Rebuild for ocaml-sexplib0 0.17.0- OCaml 5.2.0 ppc64le fix- Rebuild for ocaml-dune 3.16.0- Exclude ppc64le until upstream ocaml bug is fixed- Version 29.0 - Drop upstreamed test patch - Add patch to remove dependency on the bytes library for OCaml 5.x- OCaml 5.2.0 for Fedora 41- BR yq for the tests- Rebuild for why3 1.7.2- Use %{bash_completions_dir} macro- Version 28.1- Rebuild for why3 1.7.1- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild- Version 28.0 - Drop upstreamed patches - Add patch for whitespace differences in the tests- OCaml 5.1.1 rebuild for Fedora 40- Rebuild for ocaml-dune 3.12.1 (rhbz#2252981)- Fix failure to find plugins (bz 2249607) - Install the zsh completion file- OCaml 5.1 rebuild for Fedora 40- Add patch for recent glibc versions- Rebuild for ocaml-ocamlgraph 2.1.0- Rebuild for ocaml-zarith 1.13- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild- Version 27.1 - Validate metainfo with appstream-util- Rebuild for ocaml-ctypes 0.21.0- OCaml 5.0 rebuild for Fedora 39- Version 27.0- Rebuild for ocaml-dune-site 3.8.1- Version 26.1 30.0-5.fc42acsl.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 -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-gnuLisp/Scheme program, ASCII textLisp/Scheme program, Unicode text, UTF-8 texthttps://bugz.fedoraproject.org/frama-cgit:https://git.frama-c.com/pub/frama-c.gitutf-8a1136363172379cb8d6fce7cb356f5589d8e634e82a965f965645755cc6cfb036122ca2cc37aff4595a660e0dfaa7794bd76acec7c1475e7a90b05519207c95a?@(/h*̈&F((Gl(bkU-ٮm[h;@7맟quN#fQ ɹDK2B_[kVXI=+ӢT;kǕrrf[vo.%Dr8En[w)"8/D-(3NVmղ'ipWL:m %#"HHt(koLjHH)Wx'(mG9%$8FF8* /)2ģ_h5))6gGu^f벰(T;3!”YwG;o\;ΏINޮ-(ABf=ʿ-kWҦۯ ;wټOwTBq@ޞ"ue ;GyKX nf/tjsT,"T*-U18­1}c.0Av4z:^˓ |>" 䩠-sq26cph PN3l =u.*wA-5ƅQy23C+R6YXn, s >#aV(?|ΊOqK;-tt<|m <\՝mmUn}={ Gy:uex6_vW/EMlj=Jݢr';O]x 9ʕP yS ۚe)"wNZL"8fu4ؤ*fYDGN5+|@T@N QhJj)R g|š,sm:OI+qkD &&]C.ܤU*NVnb;QjrأK{W̩GiW1w.ztʺocE= 5JBHbk u+&%q_ 6Jxho V4qb(۬N:񨴑+Q ` ƲXk"'(s 4  D1. *'NÄ5 qcRLmk%#J ۞)E>C7ܛ 6q2vX imSE;Dֲ ܠ}L䈙:nmZ-2s}Dǵ'`v' #84Nn/O}mg('Z %Oms)4<9ťJ6c1 k MW)q|'U/=cni'zknȆ~9.J]OI_2=u~9G(M[gCrP}ƱY*Pu_(KI GR0$|Wi3^ /Vrw3 c}JyGFoH%OkyP@dv8P &ƲMlz6ŐU2 p,tqiZ,/Z QV L:b;n:​ [p'@19(ԝHO$Vr9= +%\T֚6(uǎY5TQ_&xdT[*G}ڛ5&h_B68xcFnYMY p 񓯝*$4t⮐mk ߓ\^YE{m#cS q1-ɒ{$6%^yS,G]z%NUyE\[LcW\j7ke&))-~,k9|H7+.'"1 )(Qʵm6WX:hSk_4緫D @(,X? E^ -ʍ5Lt[ E$&"l?E솚\BYQp ԥ<| ΦnvF=8Ğ|b16k`'v90͖aG/R4={3u,2bdAu/s2O-Cg+^sވ嘖<,J~d0%wB1sEK];E뗤OP5eppYՉ GtW#&=i><%rdzb0q.B?!u}~;U( 20xTޓg)k1psL?k"M1i=QD ݮxzzqYQ#,3i+VJב #Gv6>3(sKUpYUflU)5,F뎱o/o6j9BNi<]&WEN+6ЦE9\P >8&zØ!pGmxT3gʖN-d%豋_T~|%^W|EOVQ~'8{ډNQ?W-E!Zrȴ#@2猵aUm痍qM)xxͼuÛ1:?A{"%#O/P?#^msBYo^~T!Q(| wf cr{aL% M#L( 8L:ZbHaKEO6¼e.4 8I|>U*'H[DD(BZIĕH-z;}W &Vb̼tx5:hfJBe!P%.2V[ 3tciiʮ^LqCb)CO4U]QJJC|& mHȲc'x57 nN A>Z("#Iab2C;W*:n;@œ\$$H\*uzFMaw0-/̡x\`(Q`v|WZ i;6@Z3 ^6.RNg\8<Smw╘ OShFlR ĸz%B;G#}~H^F)P0f=UK(3{ԓCBrG1:p`iOALFYp3|y! ʏq [ $Ix:m-J7lyP[99YSڈ>8"$:<;Jk0d9<'Ÿ/4Y||B2?.Dinׄ5 Na(Y8d S&FBL'OvФOr {kvLLD j$ǰ{kިPs}_$:G+Z;0u[5,)5 Z*o$,5A\sx̒3eVʦaz3)F;inQ5I%ŕHi+Omapi~Eه<#4wwE=>\ckao x\:{"5tBnQ>A27CHĄWpMCym ^ev+;?dOU8gx.Pt ]ߒZ_SCM-J_u~n i+fsj-\EGM Zl$I`u=8%'UQ` i%Id ]Ho q Hb~#u@<0peѧ\- T5׭ eR|p%U X:\ "|]o6<6 Q GW>H7=% hKx˜awÞ[ Nz$ߗ#*vuW>ړ1 MeBDכ/9wP$g|F n:ws5̓t& [ԝstϟ9K[M;aS~]^UP4wldLo 2ORvC+rubV/D,FywN+Kq !>$#aꃞ:HbP<,07ӗDxu@P֛Ը~nF؃}{@{Hh2 _S!u¹QX10QG`@5gg3cR-Y9DB'C󑔕#}@Io!IW\/b>%Y!#gD}g0&~_FQjlFuHXA)>~3Oі=B ; jv U=-DӋq{uQ.# +9"MTCbN3:Tk(kUY2*[Z!4A%G u:F >2І+[D[Dgiΰ0}萁I2h&ҠT?ٴTLNJN>&dSEմU% =GZ}Z`ժTCV^e VLfUVn\ە^VV\,Y,Vn,%aZTZЄwYez 3t*%P)d|ۈxtS!b59/+3D43\:< ;{y9Hav}\2 (QiC~nYYŃHFd|nNGcteK/Ex=u>xrp"(%g(*= s^=PV;&jХQA?J ĵee36vN)/RrFp ݈WV{\4\8X<70%1- J8G\^yb[~A[|$D$+6D ] m !E΁*#% mBT 9 N=X77]ϬUӃ}Lzͽ+iK^z!Fq# ,Ļoi]d{QcsvidHo@sE=ڵ稤).4Vg2󸱷S=اɗ+XօhhP{sLz@~.5iMa&31$CSd0h`Aw䩐 ˊ͜: E+Ģơ}jaX󏀭P[C>D@0-VQ29Ocn;YԢ( 6/qm~6P],KKÁHv6$ 템CY[kf? ]gP? '[Gf# 3r̨Ε gx۹|rbhv7%dV`@V úLjFH*bp8R)'|iZ0eJ,4xQ?}J<{,Ln:~ Qk