frama-c-emacs-28.1-1.fc40 >t 6 6_ HL6   ܉3!]W>D] 'p~[ye$ 'p~[y3(Gw,>@}(} u^}{b P(!c JDH!m8l-!Sn91UT q/n}bt ]ݶe%iHi@U4ek\cdr ,TX2`]TǎW.9Ӊ".Aqn(<`U3`r$4W)L2 9J _t@̺zp(,@"cRW0@e3)Yo $6 g.INޯ٪F'b@, S]bjzӃE,ΔBwӢ};֔LN<-8ffp֐=Q/J(rLUFł09a261e8bfd7e03df87e2454f294301846b76a06a23ed4ab071c405f00d5a6365c2428b364bf697e0ef5a63876bccc6c6309c895030204a3204a9e00473045022100b12a7ffcbe88cea673ba0381a7820fb1d3a7238da6070479007aac7ea90ac37e022025812ebca3d6b1b93c903e439714bf140da695cb4e8f327e060ef8bc528a7807030204a3204a9e00473045022100dade1371332cb480583febabb6e396beeef36e62dd6890438ab8ec6eff8e6613022052437b53acf094e0923045dce415ed02675789b93ba4b9894d5bac40b13f43e2030204a3204a9e004630440220677c753f499c66c1775addcf2d546269abe4fe968aa0acaa7432b217afcab92b022019f5e237223b541ee7e80bc0a17330e4ed8980da31b8b6926d3b79e7ff88d54f030204a3204a9e00483046022100af27af23b854f29885851906fba872d214e00d1241bd0c67b12c013615a534bd022100ddf4001d9f1192f64f0c41c1604cc0fef7eddf620c383d1623c5efab5f492283030204a3204a9e00483046022100b4bb95990e98d5e17b90e961b556fb798b68174eeb498165664d7c046a6792f602210080af1569cba0039504a0c2f6a6da86497e044fc6991e3e521497fa4c70074a7c030204a3204a9e004730450220083cf0011ea862ec411e40faf9318e980ec4b4a04bfffa31de9e1914a33762d70221009de9936b943d69794e2f5846bc4bfaf7ff096c597151ccbf88ccd55acdd46b89030204a3204a9e00463044022021825bfdab01732d1622efcec1480d2cc98a22f3a84f8ee6a4f0d9ac4125248b022054c0412b257d2d889c4674b3973970c1bc001a9307bd47cc8a3c5e156711d313030204a3204a9e00463044022078485a21195c5d3bced800d97702def86f1df062e2c02f690d7416ee6ceffd46022053cb2861481d452ad117ab033b4c1ef9db080e516795d9168854ab8c05bdee59030204a3204a9e0046304402206bcaa069bdb1c46b91f4887fab8791dba4cbc6c2b44d5841092e2c6ec4701bbb02200ba7498b1dc5864aa3b43972af32a04bc23eb4ef01287aa00f94761a9e416a44:܉3!]W>D] 'p~[ye$ 'p~[y̦}aԸ;Vg!}, k @F&[voJNnv-̊eЭD" &" J|>ZwH;qB>ZTrC.Db.4z$V 8 lK?)㕄""/e hq"jpO>Cy>`;?d  ?  ,2< `  r          M z \(8"9": k"G\ H I XY\ ] ^lbdeflt u vLPw}Cframa-c-emacs28.11.fc40Emacs support file for ACSL markupThis package contains an Emacs support file for working with C source files marked up with ACSL.ebuildhw-x86-02.iad2.fedoraproject.orgsFedora ProjectFedora ProjectLGPL-2.1-onlyFedora ProjectUnspecifiedhttps://frama-c.com/linuxnoarch sBeeeeeeeee2cb3a10b510b0befec2cb49105c2dcb2c18f102ab0b6609dd3c71b832f82a9167bc8d20b554d9f5b2826ab17f7d0f58f432c40c2cee08398eaacbede8dc20e936e7440838ff95533211079594365709c7c798a9195c835644d2e2903417305e75c1b1f1789acf594242b8ff2bab0f6d13a658a5359475d9f86efa8c6bd709762498b12b1df26510c7de8219a35fe7bd1931d50902343ca86d21489d92c134aa22643930fb67876183415f15ff722d24e6c7e89eb7eda26ff9f2dd000b7884b2e96dcf620edd5185e3d27e74ef70b73b13dd29e711c89f5bff46ec11e09fa3b1df82011b16529b5c2f09d4a1f55c9aa05bf06fc646978ec47b76f396f0cb1f73cae38a443bf78732eb440af8321453732eef27673ec459466a154ce308b42841arootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootframa-c-28.1-1.fc40.src.rpmframa-c-emacs    emacs(bin)frama-crpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)28.1-1.fc403.0.4-14.6.0-14.0-15.4.18-14.19.1.1ee@eed@eexK@eoeSa@e@eSd^@d\@d@d~d8dddec@c@c@c0c@cca @c]cN@c$e@b@b?b@bbb=Jerry 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-3Fedora Release Engineering - 25.0-2Jerry James - 25.0-1Jerry James - 25.0-1Richard W.M. Jones - 24.0-7Jerry James - 24.0-6- 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- 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 28.1-1.fc40acsl.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 -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-8ea0995b2f1b0cd8b103373b6fe7d7c20016f6e1164a2b9943648335c26138e216a921d023b6132a371036163958947c13cc305c0b9d4fe287a728c99fd570a11?P(/hp&F((Gl(bkU-ٮm[h;@7맟quN#fQ ɹDK2A]XVuRtǴ(q\gwsܦ@徳ˀb 7gE5N֝AJaf Qn:7̱U}I:ܷӶNO[vu涍a<}:$eH{p͗ڔ<;QNRzYg'UNۑ$ZZZ)!U u/4Gi\88"Ia(.řv\{l] pwe`FqR0ubJwJ;6NeUZ rՙb)QRO#nQ("">0bKcZ7ouGG9>$$$Jy-3yҡ 2pp TwunWu1I&O*bPԕaZ(|]_35媩(>w]zf<]t),*WʧCM% nkZMv! !&y'G̩GiW1w.ztʺocE= 5JBHbk u+Qd}1l+ikrbxXX}{4-l8$uđ Q "P ƲXkd"'$̱ 4  D+/A }X +hZ: bZՓ2Zh r":3hKrr&{S)h S˧6E#Mݢ(LĨMX*&"୯VHd1 aEz07gC|EI zB+WCq"NO쥿)ljIWO5m@ diGDLn0JJWtͩz>GN=Jr*C%߈1?k57Cb|^Oo/=*']EhǘMڑ^9 _Q9^?GrdJRFy2?C..-Xę ?eK?CyywbH9SWr%ʢ=m(d %> ӂ:,%kT,KXA=\wlTuN`".OG3i/6W*J /%yaM)5o"92%nJۄW . X سob]q$/w{ř|kݽ~Bfvt|RLDyFn5^y)'GAItB"mOѳ䇛-/sТOc)r߈Zuӫ^T I]ް"z: %警Eu^fqUR($ Ĕ ٌ(<%˵*'A|*eƲ48h\M3 e90DHwk-h# B#נq}7ס<EɯSKػhK"ϒJm%:9xM+&+(^Yi R:4[}-ͨO۟p HCv4B)Ƞ5cQWLf//km'H!! @ߒX$x"#xMkV0#,$F^hXVG]U]l7֝/R2?S^V^+cNV 8D!|\@*#SS^\L;& j%yl࡫'[^ dp14k5pc'IrL?#˲(%ӋvAP_x1[85]BdF>h`Fy9ǡWI1a-XEBhرv!ɧ>rLq:$odr8wzdO8 b UÆELN&\wu>}j E%SEaH.cfJKi*g>TĀ,W <8Q.UߖyAK3}dz^o$97D]XjdagFdG(qa3nOAJ̏n{% : >r<GSُv+*BbKbWZ,)ؽR0 N H[p/*H 04L?D`h/mD}k#NG1Z/b^ĉ:Ԥ?F\4%}KۃKRF(hX Wn9wH:@n@3;0ɐ^[^많]"0V}dWm#g%O k@ 1q*oܼGp TVL'`~hơy._$|ԥ4V;[D="p&Z]~ipԨ:2O.'N="82H7P=u'㥎BP_~=mΦ[%V'0c"o{ HZ+BwΨj#\'a2|vu츌VF;7R5N0{J0ܐj!#SYDT4~ݬd)a㣡dEC|Jq])ƅ_,cx26tؚ=P-d!qE$<}E#!BAb[BW;V*ŗ( }Dwn 0?{[?_|>žwğt !#Y {DdLIXs\OhೋSw\mi9!5Tms$"KJ,OJp|uo^Qǂ`<'@B,[^W3d^􀁈`Z8͡By , X%0*82q%Lo6@]_-b4dxw/^ 3LVzP|$2T&p {sf9n3 _ ;OWѳռxXv'ϵ0(Z|6]VM|GO>}2jO*S*zwޞs|̿H1B$~Xw~y8ϞHv}8Fx/8Cy"?5O|m oa¿_TrMBbeRڻk"l";|amIg R#Ilz >){7gd-ʁz?1>PHly;̀K8XJCޤ5lD 倫7e}PsFpGC S,Zz =H w!Tb2aB@x#>/̬r0up/yf] ;X"ERfj#J+Ih pɱ(&fx"FFyAj ]GgHuP#$ nf0Y_vi-?~!&̯ ! KQN ч*9 OމpnD8+0Ph#?b'_H&Y(B$+w݃|!2’ܫII*04}jjVEc`Edqm1F@dY$*OA @j 90bG#q%60t#H$:D3ylYg9 ȑZ`QTaO`͍r^M抣fX#$1JՉ}sfJaib1l:v!ܪh\:UNSt*ЇSN:jTHU]WY-*ĭ]U~aKı%ײJ4 gmVNZkUVmah q\ Z]a{x]V|k_I%T0hVB&E/ģmד3f)Y)i^Z: -ւ v# 7H>(N 驉$B {y! .x%LH(7WH5"Xb6n+t*_^yƧA ݔ4x<,efF*c¡j/FMW#6?)l9ȒmamQ-"b/ .,/H ):];." )ɳCV6xQ? iB3k7ff,hbM] ގq)ks׎gA})}DG-IW.k^_ثk>*[OP ֕ M ׈dK1ruߦJrcڠd! Gٮ-1H3zjgHo"$FByGFK2, W؇ˣ'QHf"u ?~ȫ=reLVhg#S*+8džQUۖ9f叏` 'f:1p?@>gJ Måb e ϺqPdNX-各20Ԛ Ybl˸A\ 3'GŒ<W|b[fnVPN/#I4=F[4 zjpYkr7ze!o!sgm@?zj/<4ҼC!`єT q)5YC<=k|?' SGLH&}5&|"٣y ٙ :%cIުr`:!kyв܈  N:,'|` O !Rrڣ)pqu!n\!GC3H3)`N#AyhgX"~3gϙ7G<=3uc #lYɶ=a S(3ZciA܏UZb$|# v .w:Ht4nyED$)LAXb gUGbR^-a[,~JBD:FfkY{GBdлQ!J.ֻ)VH@m۷wX/F +P!ŧfYA-`{Z $wd7eJ>\0qbԓ^nn0=9]ѨbI=L˭B )FۇiX~