frama-c-emacs-29.0-8.fc41 >t 6 6_ LPTdh 3!Flض zE>b$bjf b$bjʲ uF$LWL62Eb4=!ol"sI};C Ev@j`,>^*vZ~^jw`A(!ZV7ċR)_5 ൵یr2i_HQ XbLP𗿲\3!5ois@1ܧѧ8ɔ<62e?'Cy,6r)m2F; z^mf'l-=|vgxG]ڹ~r0ː_9*p}F]~1v D/dQejѬ*M<;܃2Bh9D0l0ÆNת+T&MxidFl㗻I_<9NԿ(*51(ZOCEgj9tf=\wKU8ƚGrU̾/SeĹJnטS2gU{"ҺK=S8vpuԢ UPVr7"q1N885d28e8cc6d1e47f0ebd537f1438baae95f84b444ae886709a019937b92ce2c5bdfd287eac2fc8af14c8ea6020ffb11e36ac871030204876d743500473045022032f7927a1c3be8cb890a9a082e7bc515a8ff7bc3114ffb8503f1c2fe4d151d0e022100ae2b6bc62e6b043e4ab0ee64276936b6c4d4a4f7bf7b8100c6d91d1817a89f7d030204876d743500463044022036d5ba6333b7f05d3b90ca2778b4260f53dd833a64a1ac1c7cb6643510f3919702206940b96b404577496f00b98e8dc2ed68fc6c644baa1384970a17d136aef31624030204876d7435004730450220382711b82cd582ee9cf6b3b9c767a537412cef75b30a0608ebe9b6c2a4bea2e20221008b0b5537f176e70464dc132ff5ff254a79445a502d189295fda2872f23417cae030204876d74350048304602210093a9126507413b7f52ae28a2ffdfbedad1f72667f97cd0846bb5c2d93131ec1502210085cb71245bfdcd1e4125d7ca6e9d6c7c425c2485c6b3b3090fdec48b23c67b5a030204876d743500463044022073c220ad862820a27f64faec6f32a709e001654f6bbb735f24f87b751b8025fc02201a89875d8089bc0ae28c708dd0f5d2d0cbe66c3027d27e286f13c005311b64f5030204876d743500473045022100ad3a9ab51f6a44c2a0825cf27e372eeb5a11ab17f66fb649aeaa4b632548ca56022016ed42a2a94d0e3c83d766e587e8104bcb0e0246cea956ea17f3f0f05fd6858b030204876d743500473045022100d5937d5d6d167e8f08efbaa2361dcf5b47a744fcdd5e8df2f37b6eacbd9fc349022005fef3c8a005fd974d238d24486e3249325ea7ae7014a1712c98dffb3896af69030204876d743500483046022100e26314f655428ca2b7a83d1af2b04152e517be97b18e4c830e421cfd95b8c562022100a095c031d076ccea3c6737ed37a81b3fba6d0902adc67abaa08b19934f078bb6030204876d743500473045022100eb08ec6d34a825feb78650b78aef2c8a88ce3a3e768d27e3e4aec4ca22c34af3022074169f5155ee308a69f3bc4d6602021030de474974f8de2724383c0e8e276a97Q=}6z*ș˜,Dy>`<? d  ?  ,2< `  r          M z \(8*98*: *G$ HH Il XxY|\ ] ^4bydhemfrlut u v(,SCframa-c-emacs29.08.fc41Emacs support file for ACSL markupThis package contains an Emacs support file for working with C source files marked up with ACSL.fbuildhw-x86-09.iad2.fedoraproject.orgsFedora ProjectFedora ProjectLGPL-2.1-onlyFedora ProjectUnspecifiedhttps://frama-c.com/linuxnoarch sBfPfPfPfPfPfPfPfPfPd8bf7bd1ab67ecada5222e25ce14788a5bed476d4cf02ed85f075f767c9c872df0bbca4d34b4567bb2a151fd3be9ee96ada67f1202cf3c6823af23a99a896513a7c15ef4ca5355790eb212a8740b905f6ba3703c5e9d71d651ec37711146ecba7e9fcbcf9b27aa1fd144cfb2c522342e7ec200bb0265a694007b83db9c218861b54520eb9ad272a8fd1c08a342b959817ce9231e39837bdc0d02221f8e560d58f107ea26b84ee7afb524808386434b4ac501a6c03540add53adfea67356b65a624c1f7036decb90588aa07557d4cc08e46da9f04d19af6f4862c18951836c679e43565d0698363de64906adb666709fdacd0b7a246762a05ebaba23da07c3631ae38a443bf78732eb440af8321453732eef27673ec459466a154ce308b42841arootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootframa-c-29.0-8.fc41.src.rpmframa-c-emacs    emacs(bin)frama-crpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)29.0-8.fc413.0.4-14.6.0-14.0-15.4.18-14.19.92f@ff@f`f=@fr@fp%@fj@fafXj@fO/f! @fg@ee@eed@eexK@eoeSa@e@eSd^@d\@d@d~d8dddec@c@c@c0c@cca @c]cN@c$e@b@Jerry 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-1Richard W.M. Jones - 26.0-5Richard W.M. Jones - 26.0-4Fedora Release Engineering - 26.0-3Jerry James - 26.0-2Jerry James - 26.0-1Jerry James - 25.0-7Jerry James - 25.0-6Jerry James - 25.0-5Jerry James - 25.0-4Jerry James - 25.0-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- Bump release and rebuild- Rebuild OCaml packages for F38- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild- Rebuild to fix ocaml-dune-site dependency- Version 26.0 - Add Requires on ppx_import (bz 2148391)- Rebuild for ocaml-ppxlib 0.28.0- Fix a path in e-acsl-gcc.sh (bz 2137875)- Rebuild for ocaml-stdint 0.7.1- Rebuild for why3 1.5.1- Rebuild for ocaml-ppx-deriving-yojson 3.7.0 - Convert License tag to SPDX 29.0-8.fc41acsl.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-8cbb842fc3dc522a1f74d5a3819f8674d992d9e1d1eb97a89196d804f103fa025ff0ed0f7540ad279317fef9f465d485916a1ef51b5029158089c54f777d3ea14?@(/h%zl&Ehd7ɮQ k*'PS͈dvV="B\XVuRʔǴ)q\gwsܦ@%徳CA^m 0t)G;eɪ;Z+[vb6iOcˮܶ1(/v@Rg+:\Ge,V%nTĸOޫyyYqp+5JS|Ɩ4BVV!BJV*W'hbBo.9NxRXNKqfj3?6k?H@y]]ns)e22R$Lҵ92󎫍IrEnQp6BDs>5Py{Ns -ɸAUg#0Q ,lL,r +|smXB \M蕲ce萠[8 30L tV[gYg%x9C6OC(aloݮuc _8KTH!Š ;0m쮯_rTBƻE.=N w>rB+UUUgM% nkZM7qg/'URR8[i F^ 0vRx-ps-é7Xj7*G4٨ ]OCq  M )R\ЁÆ:hx.lŭj5de0C_Km|V>"PjB0JW3: Iktte2P9anxx~RZVY4q5{T ecH#-= T|0#x"T`U@i!LÆ`8pi\h`9@„ 4NZp=ksqzXX\aU$ϺLV)} n>" 4Wƛ  Kn<( <ɵ^vD Y]uQ3A!ᢰo<輊yc0Ll(x! KQQC`*,$(Fra PJ&.8Yɉ-5ySP|>h<B[Vf EFm.QTEO(rqq11RI cM+@HqZ梌cp8`{0 t6ui.Άc LʗHUM\;6RƗ/| C*sKX}0_ K;qhf9BV-UtF|fr9<:PUM f_oB:3{*t VT; YJbKΫb)/<7 %ztʺoc0( 1#qoӯ70FyRpjqˉFbam).:s|q+Q P ƲXkE Dą(Gc (4  D.𬕧.qXgk h-dknÊI۷V[Z=FL)(:y9{]8;oHoccS)m_QH@%1JtSj>L c !W=QoXy^[l|6Orӽ諡,Ľ$B֪΍&2x8w>0Ϫ."Bpcq]7:bh%SNe`H\0}5L^u/C뫗ן s1W0<CƏ$πA*mK贍geRmqZkluwz8/2Ψ(֌1sT<@?S2YLmbG B!D Ѐ~2m+\,ڻ FL3;Rr+Q,b8N md1,ď+Q/П|Sd3B IKYSIE-B'ttmzLw06glK'-U/"wI\l>ofaVLPץݴYqj3T(A˒MqfDwIOY-!e0!@ +DprHs/Kz 5ڠx]cEXPk >N]J߈n\$t/r:>^4~ڿ!|؏I H`'Z^XeO[1s  pl_9))0LIW4l`}kh-c1"~U'/t™Lĉ`uʤ9@/ɾ ER큛h:R-]")AlsE~Qo[Bh8&CmK-uvYUY_ݣZ3K鶿(( ?7qg&c(}jyk K6x\IL96f\D$X2z\1 Ԛb-C?OBE^ =\Nv! >*A#DdF+H"nZ y |Hu Ϻ;@0DNuZJ?~tj&D0*dnʈy$R b2%@P6fg#H"_s- !CƵVWeEuՂ:$ Φm% 0k6*@LRf3 u ѱ ,{$xN(4a'ep#^"Go $'K V۝ob)na Aȗxݕo_g-#!RlC`c1 ja%d Y:(Cn1Sƃiie 4HhӯMBdJč~6 %с

R#PN+FMyJkjOM]+bb>Wz2HqH ç5+bSW qL_uyh /f0H)"46JNnk&_ZX7iڶf*H4A м^T CXy6bILPXϛgJrOMqMi=en/5DI-`} }4@0@;-5,ً<2iwwS݂x0Q2F9D 1;Ÿ+sg}ϝ8= vPM<8|հŦ {!W% 2;Ҝ5s SE4W;uKU-}ĆR)Pn#9EV_ϖ+ ^#`***@8p0+uRFmV:l ߄ @ҔXqח+>e7I{JhGT/z nJOO[צ2U k踜'@H@8%%4P_?NNe,="Xy S&|1حEVYEQfݧ|{B7YE` YU]=#IVD۷ÝkhX$L\@"' f \1@L 1QJyȞ(T %r&H ^ $H̷c`<+# :(i|EY2y[`}5dMi'LPO՘CU,`dEޣ-(hB? 4[ĻQe$t\{1I}28}|o-DB}P"Dא#Gso`xI&<;`)p)'7G jFf=H*BP^Ws= r ԩe3Tۅ)XpjȨ6Ducn:nF$ QcsC6:uD&;DYy"CyA*u(H5Q(U%>IG7 Pf}GT~:M qͯyЉC|TB *0O?LD 00hWPd#8J}/ IJZ"UFHwEYOTʜDm$YslJ# Yǯ'FH9|88T!_,=ȣw4+3a,8I =e3#ځ"}U_SP'VāXШ-=4ݠ)Iz$L AO5C;M^\,0$' @q8h|׋{.f GDSզR`ci\:ӳgo`sY=}8Cz a6]g=ɝ c[LQx,& 18!KI=pF\B ś8Sڑ&`Qcq=f Q+1X|#&}}cnB+sT9'¨F2x8/2p|:aCr{=|ƪ O6 ؆¡&sHlߐŨ̖!Ht~2!nϜlyjv > gqꋖ\H;3fubjr:=|(Q !DxD*ɖ