frama-c-emacs-27.1-4.fc39 >t 6 6_ HL6   ܉3!92d LuZLdm uZLώy>B yrcBzwiG~}h'm0 a}S\ׅΰlo }v]JaJ * ĝF& wK_zDӥܨ\G 0z}R#NJ9zV` ΁jHmgEm k _NZFհ@Z<KIpN ڊ g1 (4luy$Tկ ʓڼ==Hf䕩%nb.RodfC}Ӆ h T7yU}l|].\z=D 6~ب=X8j~< /7N,S@_=%"]yBrPX Hނ6_y1>Ƈ!%'+d18576a66f37780a76940c2346b948e7b140c8ebd294053c8eca0784211792677f651e1b6042b1a7435647b047c7cdbffd2c5937030204388b603e0046304402203184780c1f7da67e96de2edf523a84e245128f59c7dad0500367715fe6c28023022009a10f798fb1c4c7c94cdafdce3c30f897de873a8bc135fdb9b15e545b02984e030204388b603e0046304402206c2575fd32bede64d1a872f8a46f93ade4dfbca8764625aeebd97ab3456c867e022064fcb4138040aa667a25611aa7bb79738f7c05c63c90610edf08523736a85934030204388b603e0047304502200bb051c16fbcca2d72b3060a009556c119bdc036733e1f9520e2eedc1d75b174022100dbee3d83d09557b2f529ffaef4bfaf970fede096142a343ab181643588b9a1c2030204388b603e00463044022045d17a64255f13c338e4f0f173bcac41ccf730263f494bae0345c8dc5be83a99022033634d73677a147f4622f3470e5d28fc0edb33f3f588eb6b3cadc68148281dfb030204388b603e004730450220666a2a3b256cb3049a9368f25fcba807e089018ce138d55e8366e7297c94f843022100ec022779487497c8f52cd85b2b42eeb174a6adf967bc0ed01c94854b6cd7918c030204388b603e00483046022100f56440ccec2aa51356343b5fd16b2a9c1d6d4997eb7c2a0dac6185ef49afcf7e022100c4f418c186fb2d351a73f00606a2963c1aa6af149aba7b320e2960dbad7e2c22030204388b603e0047304502205255b31ec6b914d98ba25d91395c748094be020e42acb42d1cc2cd3936c0b8bf022100f92f97e91182550f056a95d748eb88b6085e9e79e0cbdd2ea9d5280302318540030204388b603e004730450221008fdbee11589bc153343aa7142508b0023a3b905512edc177d050fd3f585f302702200f91c1c38bdbfab3748b1e38c2a34c5640292f3c1167b06f01dee5f8bd155955030204388b603e0047304502204ab83cee5ba31e32a82a0b93b58a1e14c134aa02a7242ea9e9190a27953e41d002210088e2d6d593be58c18828bec768dc04b4ce5969d7f2663f1b48bc67f9a798f62b:T3!92d LuZLdm uZL t-af QU5!_vKԲHi.F#|xv8x}W;qoSƐ[ciσz u‹>L0 A kj Sc#"v@|qD|K3He)Dݍo^7[nj*-EW7'䢥v!t+Fh/pz>P?'`?H M4 Nd4Fz{eN31;&64r; Wmk"~"$ 5`KJvǔ*%ʪ8- }H `| ĸdWx =t}ceF62? TM\6bZ|λzv`rE3k㗣RN.B<m?\tlf*rw-7b;c_]PLbhzΨ"‡yu[c/#21O~ju h`\ :q<ͨ T ^#_Jp/%0y>`;?yd  ?  ,2< `  r          M z \(8!9!: (!G H I$ X0Y4\@ ]d ^b1def lt( uL vp48Cframa-c-emacs27.14.fc39Emacs support file for ACSL markupThis package contains an Emacs support file for working with C source files marked up with ACSL.dbuildvm-x86-30.iad2.fedoraproject.orgsFedora ProjectFedora ProjectLGPL-2.1-onlyFedora ProjectUnspecifiedhttps://frama-c.com/linuxnoarch sBddddddddd2cb3a10b510b0befec2cb49105c2dcb2c18f102ab0b6609dd3c71b832f82a9169962051d964bc8ffcef4312319c049a737bf47ad29c3e186965c2685bdf2b6346e7440838ff95533211079594365709c7c798a9195c835644d2e2903417305e7edf434f69fd0c71b314ace7f355560caa411bb91d823ed403a2b2fe9ff16b011498b12b1df26510c7de8219a35fe7bd1931d50902343ca86d21489d92c134aa2386ef0bbb1cfeefd4cfd5d6957fa48d473b2d10634e186b44f67df66498ffa3996dcf620edd5185e3d27e74ef70b73b13dd29e711c89f5bff46ec11e09fa3b1da1e7e63403ee6dc34d3c7e523b7624532cc9d537085e8435135884fbb5c256daae38a443bf78732eb440af8321453732eef27673ec459466a154ce308b42841arootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootframa-c-27.1-4.fc39.src.rpmframa-c-emacs    emacs(bin)frama-crpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)27.1-4.fc393.0.4-14.6.0-14.0-15.4.18-14.18.92d^@d\@d@d~d8dddec@c@c@c0c@cca @c]cN@c$e@b@b?b@bbb=b@a@aNaɪaLa@aqV@a\>@aZJerry 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-3Fedora Release Engineering - 25.0-2Jerry James - 25.0-1Jerry James - 25.0-1Richard W.M. Jones - 24.0-7Jerry James - 24.0-6Jerry James - 24.0-5Richard W.M. Jones - 24.0-4Fedora Release Engineering - 24.0-3Jerry James - 24.0-2Jerry James - 24.0-1Jerry James - 23.1-5Jerry James - 23.1-4Richard W.M. Jones - 23.1-3Richard W.M. Jones - 23.1-2- 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- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild- Remove i686 support- Version 25.0 - Drop coq 8.14 compatibility patch - Drop coq BR; coq is now invoked via why3- OCaml 4.14.0 rebuild- Rebuild for coq 8.15.1 and ocaml-zmq 5.1.5- Rebuild for coq 8.15.0 and why3 1.4.1- OCaml 4.13.1 rebuild to remove package notes- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild- Rebuild for ocaml-ppxlib 0.24.0- Version 24.0 - Drop upstreamed fix for OCaml 4.13- Rebuild for coq 8.14.1 and ocaml-sexplib0 0.15.0- Rebuild for coq 8.14.0 and ocaml-zmq 5.1.4 - Add -coq8.14 patch - Drop XEmacs support- OCaml 4.13.1 build- Try to build on s390x with OCaml 4.13 27.1-4.fc39acsl.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 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -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-cutf-8aceab35a6ffd4c5d36970822da0d038fce6ed9dd22002f449fd9aac1624115d98dd7de0055f89d229645e8815201532214193e5d3a32fa311b00b37457f2e53b?P(/h|&Ehd7ɮQ k*'PS͈dvV="C]Z*lzV$2bKcZ7ou G9>$$#J<@ڗ(!4RImvJ[RD ^bKH(iwvJJYRú,v1 -P%kD)l׎qҬ9k?Hv~oڕ)k3]6oS}-x|2tv}oO4XMϤѼ%΂,P7xA\ro:I*yX,pxҪ֙3w x2ȌNiŁWh"EX?ȸPNL`%$`T wuP0t8̃ T!Bt(Lؼ=W'9v Y d\sʠ*Qzx6&~96,n`!.&JdaaxY:$>:bG bi9Sdm:!<wY ^NDPu a6tF;:lz:{%(tH1. ڄf;͗>KQ[jTxܥljaGB^rz L~awmM[HD;n$CN8s#.J_{Grn}wrR%%jὕ`T@N ShJj)R gxx~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.QTEOrqq11RI _ɐqx|0<)N\Y\p: g]"\Xpt8L`X@F!.p2{;IvQRT+yG0I۔FK_% Er\{-}c|-3cT,]P0FvK BXVŒע6YbdGaNBUT 6I$&0ЛAr| &>fóBRtP1XQ,dW(/;妼(@=-«fdey3,۷5d혎8ݭrX6Z;۵# vtxP5]x(Ó %G█dykw h >>Ss:5"ő-/ZVϔDMK*N!hVY|ԩ%C"EGڮ(_Y`lž&yºnP r"ĐD0=7L {) 5gn_ѧ>9˶QF-] A@ꠞCh-zLo.R#0EéxreC|rTsE9-F#VHه唂@ ^EjoT2 \l|F.<Ȅ 0OHkd "Ni/V58{%ᐥiSH^In)yIpO^/_ mF󔫋E p&ca)KtS/qǜsHCK ybkl.zFRo;W-%یrB W(,Y9ՠ\* wȦ+GޙN@YR(Jʗ^~FxҪlӛ`m+.պF%Vћ *eYNQF58;3_ڌ2OLFǔl"D8pt5 0,@܅ۻ[͉Pf/5qMBk[Z'ܿ?1~uM7Xy>fzXSSW$70_;~٩*]z{NTEJYU[\ŭ#Vղ6U(\Vl n-k|}i u"Hǖ0圃(# 74r\??ʂ.:` EEтH,_|߄bn,J @ї2Җ4q?%KeDkXEğ,{RGzp04Q|`e骱gRGo &2/ } qwz3F aܜ \}nM2ٟ` 5B+_:A%^W\aJ );Xő ~)u_s E[Jʪc 'c*^-!ŌcBHi~p}, ;`c{ʱxh>'ze8dHU;6H}XlT%uDbf,-), ʸ4&-}ui@)fha9bv14bd7ݻŖsGKx2m~d0ӏ1c$q@|ܫ^DqI?_!0<i-ch a.G"R2%"?؅kn5eB^'@+nX#B BV)%s9z&WRi bGS_+.Sۋ z$2 Ȥ 'Ed35GR#e$2Lq29)nGRJV{%:n\KW/Aw'?5I#ahmԾ=0 +©Syꘄ,r aՖ}:{T՝S妫:+Vq5j-+iD< taO'wD j[onnLOU}6ڏZ1ĩS6/5`ZAs3Lv;c&{P86BV!W1QBX :|:g?خQڭh[ڌJU#Ԥ 6~0~AaQ +wT 0Tc#R{Q+I*RiQ.l1(\

~BkTcm)dpgnJw(~}|>g?sL{F@S-,A < 2#J>p`0- i WI?XPbI(M\ 9}8WcCI=C-j 9>Rr FlYXS6n!p&Utڥ?cRӲ{Mp8nO~4&RlA<"dRePx#c&]qw h-b$CDtY otPo+SJQ7^` |x.WY yXoӊM!8Ǻ&y*[@V2\Y%n9O[<8zT\v\NxڻԻTgAl1GQJ+sbO3-.>G:N᷃ T01 wfo}d=C0r5s.${p%&{Ά,5!eQٝJfR5h3#@(O ԯ#de"KWc_ȅ`Pu {S ҵ }UwE D1FmrI@iOSO& %JLظsf?ђ0s>ї (6 Ŕo%O5mMq;RDpeBw@v )t,Z&xH 0 ߯,/ pQDz =u)Ŀ c*9X+庍Ϣm*]SB-B t `uw~4V76L4P7wLK04z9yL"Bwcg1@Wc@TZ&z >&ff2 `03<V`7EKPډy{!!оEuUJahIdVI/!+O 澡Qd d+vD+u#lf^'4Ԃ9!&G II1W$Eb7 "$Ȑ 1U%ky-gKp"Pt!ϤbhOD(GЛT=x8ɍ,%(,hGfRt(ĵ0UAB<\HYݪMRlpy$qRAFuJɳ 䬍:x_5wNx3Ѭ|"_Fh`#By S;FH2{(-!XICw̲|f[:&Ut y{nCc=M!oN*?{LD >a- F`'z^Hw9Ad+j!ޕOE&O^hD5\NTPN@4*V)jX̊V>n\]JWby Q^5EzւhQMlmk['\x"R.#]K /y˽B^k_i`)SkBE/Gse ﺱ78\\E/ٮ-L`Nfn+q/hw `1@9E1ud4D]ݾNv, ߵ9UBX<~ }Pz_eG/7f/z+^)*.LVK;)Ul/n 6}5GqUPaeBUz@Pa*v_a&EWh8c]EXNEic~xS.ytM-,-/Z;=(b{Q$! K.W foHƎ#DBh3xa71HXO/:t7,n?@ ֞Jkb&5z{_Z wMfjoB0'>u,Ms_;8~?!55T(DwJ}Ib 9䀮$ D G!o0)V(`/>i>>or5DԈ4žF]Vk z/|mI4 I\pd!{AS!G; [ 6|UYteSue5VXjLcAN Wκ9|.7Ȧ3rm󰶯<=h85,FY-D5as `m4dx9Qo4%,48?# ( wrɟu!9'AzVcn[EyHuЦ4t[ц [0޿/QCAN%#GI4 |x."/ǛJ_Ht+GaOO8dh\|aK#+ֵ_rzZ.6[4/~P. 76.?UFON1\ %Iފm!Z>y ']8O xkH_ 4