frama-c-emacs-1.14-1.fc26$>BPA7Pa1l>\>7(?(rd  ?   &0 T  f  x        A n N(w8N9N:NG% H% I% X%Y%\% ]& ^&b&d'e'f'l't' u' v((h(lCframa-c-emacs1.141.fc26Emacs support file for ACSL markupThis package contains an Emacs support file for working with C source files marked up with ACSL.XՇbuildhw-02.phx2.fedoraproject.orgyFedora ProjectFedora ProjectLGPLv2Fedora ProjectUnspecifiedhttp://frama-c.com/linuxnoarchB spBX@=XՆX@=XՆX@=XՆX@=XՆXՄ5b51214908ad1e55fe549007fe1c4fcb048a092d49b3563d428197903d8bfa19a43d1dc067ba1acf5400a4ee2fc1659c4190cb3906f329f39ce6a6c769d36fb5861ff27698fd350b22b2b4e405f68a7f836c592efb417ac34e93efab0178d0950d2e55d74d0c141457bda8d472768940911a62147891e79cff92996d49270dc8104e6881e05878c0b587926eea4af70191fedd2fc6a26365e6688b8e309a3cb1e1e7f5dcce238d6650d5de5c48aac55984a188894c3f6dfb9bd3e6f80147956b8c27a980aa1a5ee9c62bcd6070c211d33c745817c3ed067618a7e8e7048738e4a7c766937c152761325a1bba1f977f9cb34f75fe5a470abb9a18202df5620c6dae38a443bf78732eb440af8321453732eef27673ec459466a154ce308b42841arootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootframa-c-1.14-1.fc26.src.rpmframa-c-emacs    emacs(bin)frama-crpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)1.14-1.fc263.0.4-14.6.0-14.0-15.2-14.13.0.1X @X@XwoX>@X lX=W@W-@WN@W@W)@VV@VVUUUUUa@Ua@UW1@U) U hT~TR(@T=@T@T@TT@T@S%@SGS @SuSہ@Sہ@SFSS @SSr @SU@SM@S0@S&S @RL R6RQQ@@Q@QQ'@Q@P@P@P5@P5@P@PO'P;a@P@P@Pw@PO NNNM@MQ0@M:LA@L1@L K @KrJerry James - 1.14-1Fedora Release Engineering - 1.13-8Jerry James - 1.13-7Jerry James - 1.13-6Richard W.M. Jones - 1.13-5Jerry James - 1.13-4Jerry James - 1.13-3Jerry James - 1.13-2Jerry James - 1.13-1Jerry James - 1.12-4Jerry James - 1.12-3Jerry James - 1.12-2Jerry James - 1.12-1Fedora Release Engineering - 1.11-10Jerry James - 1.11-9Richard W.M. Jones - 1.11-8Richard W.M. Jones - 1.11-7Jerry James - 1.11-6Richard W.M. Jones - 1.11-5Fedora Release Engineering - 1.11-4Jerry James - 1.11-3Jerry James - 1.11-2Jerry James - 1.11-1Richard W.M. Jones - 1.10-21Jerry James - 1.10-20Jerry James - 1.10-19Jerry James - 1.10-18Jerry James - 1.10-17Jerry James - 1.10-16Jerry James - 1.10-15Jerry James - 1.10-14Fedora Release Engineering - 1.10-13Richard W.M. Jones - 1.10-12Jerry James - 1.10-11Richard W.M. Jones - 1.10-11Richard W.M. Jones - 1.10-10Richard W.M. Jones - 1.10-9Jerry James - 1.10-8Jerry James - 1.10-7Fedora Release Engineering - 1.10-6Jerry James - 1.10-5Jerry James - 1.10-4Richard W.M. Jones - 1.10-3Jerry James - 1.10-2Jerry James - 1.10-1Jerry James - 1.9-9Richard W.M. Jones - 1.9-8Jerry James - 1.9-7Jerry James - 1.9-6Fedora Release Engineering - 1.9-5Jerry James - 1.9-4Jerry James - 1.9-3Jerry James - 1.9-2Jerry James - 1.9-1Fedora Release Engineering - 1.8-6Jerry James - 1.8-5Jerry James - 1.8-4Jerry James - 1.8-3Jerry James - 1.8-2Jerry James - 1.8-1Jerry James - 1.7-9Jerry James - 1.7-8Jerry James - 1.7-7Jerry James - 1.7-6Richard W.M. Jones - 1.7-5Fedora Release Engineering - 1.7-4Jerry James - 1.7-3Jerry James - 1.7-2Jerry James - 1.7-1Jerry James - 1.6-1Karsten Hopp 1.5-3.1Fedora Release Engineering - 1.5-3Dan Horák - 1.5-2Mark Rader 1.5-1Mark Rader 1.4-4Mark Rader 1.4-3Mark Rader 1.4-2Alan Dunn 1.4-1- Update to Silicon version- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild- Rebuild for coq 8.6- Rebuild for alt-ergo 1.30- Rebuild for OCaml 4.04.0. - Add small fixes for OCaml 4.04.0.- Rebuild for coq 8.5pl3 - Remove obsolete scriptlets- Rebuild for why3 0.87.2- Rebuild for coq 8.5pl2 - Require ocaml-findlib (bz 1354515)- Update to Aluminium version- Rebuild for coq 8.5pl1- Rebuild for ocaml-ocamlgraph 1.8.7- Rebuild for why3 0.87.0- Update to Magnesium version - Drop unneeded -why patch- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild- Rebuild for ocaml-zarith 1.4.1- OCaml 4.02.3 rebuild.- ocaml-4.02.2 final rebuild.- Rebuild for why3 0.86.1- ocaml-4.02.2 rebuild.- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild- Rebuild for why3 0.86- Rebuild for coq 8.4pl6- Update to Sodium version - Drop all patches; all have been upstreamed - Add -why patch to fix the why build- ocaml-4.02.1 rebuild.- Rebuild for coq 8.4pl5- Rebuild for ocaml-zarith 1.3- Bump release and rebuild- Rebuild for why3 0.85- Adapt to why3 0.84- Rebuild for final ocaml 4.02.0 release - Fix license handling- ocaml-4.02.0+rc1 rebuild.- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild- ocaml-4.02.0-0.8.git10e45753.fc22 rebuild.- BR emacs instead of emacs-nox, which has gone away- Bump release and rebuild.- Bump release and rebuild.- Rebuild for OCaml 4.02.0 beta.- Add comment to desktop file- Set LDFLAGS in a less destructive way (bz 1105265)- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild- Rebuild for coq 8.4pl4- Rebuild for ocamlgraph 1.8.5; add -ocamlgraph patch to adapt- Remove ocaml_arches macro (RHBZ#1087794).- Fix the icon name in the desktop file - Install icons - Drop unnecessary gmp-devel BR (pulled in by ocaml-zarith-devel) - Fix permissions later, else they get reset to the bad values- Update to Neon version - All patches have been upstreamed; drop them - The manuals are no longer included in the source distribution; add as Sources - BR ocaml-findlib instead of ocaml-findlib-devel - BR why3 to get coq + why3 support in the wp plugin- Rebuild for ocaml-ocamlgraph 1.8.4; add -ocamlgraph patch to adapt. - Add an Appdata file.- Rebuild for ocaml-lablgtk 2.18.- Rebuild for OCaml 4.01.0 - Enable debuginfo- Update -fixes patch to fix startup failures on ARM- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild- Update to 20130601 bugfix Fluorine release- Add -fixes patch to fix code generation for inductive definitions- Update to bugfix Fluorine release- Update to Fluorine version - Merge -devel into the main package (bz 888865)- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild- Rebuild for coq 8.4pl1 and alt-ergo 0.95- Build with zarith support- Update the Requires filter even more for Oxygen- Update the Requires filter for Oxygen- Update to Oxygen version- Disable dangerous code in src/type/type.ml that leads to segfaults.- Use a vastly simpler patch for OCaml 4 that fixes the native build.- Shipping the bytecode version works better if it isn't stripped.- Use upstream's version of the ocamlgraph patch. - Ship the bytecode binaries until the native breakage is diagnosed.- Rebuild for OCaml 4.00.0 official.- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild- Rebuild for OCaml 3.12.1- Rebuild to eliminate libpng dependency- Update to Nitrogen version- Update to Carbon version - Removed unnecessary spec file elements (BuildRoot, etc.) - Update approach to filtering provides and requires - Do not filter as much; why should Require some of the filtered names - Add (X)Emacs support packages - Add doc subpackage to hold large manual PDFs - Support for gtksourceview 1.x has been dropped- add ppc64 to archs with ocaml- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild- updated the supported arch list- Upgraded Frama C to Boron version and added ltl2ba dependencies.- Modified spec file to add new OCAML dependency structure for FC-13- Added documentation to explain the various licensing entries. - Added .desktop file- Add SELinux context settings.- Initial Fedora RPM 1.14-1.fc26acsl.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 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -m64 -mtune=genericdrpmxz2x86_64-redhat-linux-gnuLisp/Scheme program, ASCII textLisp/Scheme program, UTF-8 Unicode textutf-8?7zXZ !#,>L]"k%r4ؕ:7ߕBOOFຠN?jiY5f`["a-*DvȘOy*s(;INyJA,c)Ggg(,BMҰ 9lx"cç.R bJ%{˹@rP,KpFu.ҊفFlo1 Ѡ:< _wF_YFB!Ye( 2 jgTԝ%l]367w}sMAͣAhƁ ^DoFm8 Qwx~C:@o7<,e %580H(XD/aR@@k&'S_9Cg|8e¨N4/dbq=9);N@)%va2\,:E/\H9s DjT|5mh(u>Y7i<Џ|֤Pjԋl/ƓSq|)XB2 tI`w:K[3DzE1T[-m_~a5xTI>G#kꣵvC>xG|`~R@-u8xUw6dgaݚt)˯Uߖg8R0!Yl^O/%'nM@MT !'2%C܏ o(j?c> hTfd1 ٮFo Z=oZ)c ^vQ+u&{pӶ=12, /ud,aj08L4 [̖iiputпFIesa4Sl+44|QF9O#o{&Ė~+&|cZQCE  +AI/̡Us4xD/p߽=\=]XlAEM$&P=5$PS=yhu)i( *3p,(5g_DȪڗ.<c#P5k}Mph 21W L&cgr GhnvʉrUiyD98kzp҄#D*-_:TSq9%U]L9wEv7dh^ʀ,CtNP@l?idćWv@ànKUyu3|0B޿Qc aXչd ASQB !K/p<Xk1M2^ma6gd$M1Vn+aQS_[o.x:]Ŏ[KO++. 7E鎍Wz՘fc k*I,4ex構]V Dm>fN鱁.k3%rfjÜE cf5]y"s!o+*u͛Ƿp~tb˭%sjjN<lSn(.CTSy 75scwn9֧YW 4^4vZ`GvTV34(?! ed^LN<@na|p>Tc622p~ C#Vl eWHe)G#E>yB@f-v/џ_vv 5Cǟ^895Z*68Z W`x #xZtC~:dL8vutI|.@RV!KJ"dD4 `T26YEauho"E`Q#3Ony[K:3JQ4mx@J> X7 bۗ`+Ʈ@.֏?meM}F-OZ)v vURXyFXruܯ/SKJF,%z <}|hXfS۩@D'z`'{ $vX[¤=c1}phU3KC*{AemgGz066UB`❇2Hkom7HaϏ9ͭBM4mfUƼe0ojLSSշ7:.% z#T #\N!G oPj*KF"m>G&a:&eLDže0dy1/0=L* Щ]lH6$0$f5tp|wI_AxDtbeC#w~15(N%'. )ق\!"dy*2aTeٌfǷe.3U~OQplw(gB<SHXp=fvhwcfyE\MAtbQCO!g*%DV0c}1P^ŧ*/!w9FSUB*ֳ-v.̜ۙ-Ln$QW؜Y\i5qsM'UUo(8bGQJ1g儡zR=*ao@46RQ]ވc Zj֡A6h~ LKw$ϖ+j:t!lZ .míDWL/$[aj N}ĸ"d~x&ҏ~>m6̖uÐ0Z'žjO儧z,M!Y- 0{xv;ŠFuUH%!#k`) .|k9a;:=s,`aajZy.)Gxox,UE%Œ _8c2v((TxBixeW?{- {m@Uw%Ƒ?v)t+`W 4I_AЖJDZÖ΢2V0!ҵQ dmUaʩq^.GXNF,+ΐ\Ҳ(T.b(} |C%߀)lo&% B}>ۡ,sFqꅓ_E x0jRG"^eZƚ(Ӕc}4tL\;L# nƂ},~H:QKi5eev]a`ÏEli:{Tqg'GD}p2tBCzHb^g+sH5r׉]Bc:q7+`BQD]]BcMPDAp=e+ۛ%d4"D Mߪ26kBq+עS{'w@gF5o ynTbK]2:]4Bz:-|ɓ YZ