frama-c-emacs-el-1.10-5.fc20$>-'G4{">8?d  A&- <Rfltx z |   (8&9T&: &GLHPITXXY\\h]l^tbdCeHfKlMtlupvtwxCframa-c-emacs-el1.105.fc20Emacs source file for ACSL markupThis package contains the Emacs source file for working with C source files marked up with ACSL. This package is not needed to use the Emacs support.Sarm04-builder06.arm.fedoraproject.orgFedora ProjectFedora ProjectLGPLv2Fedora ProjectDevelopment/Languageshttp://frama-c.com/linuxnoarchS xFfd9fdbeea69b69478d40a995ef2ba1447b45fde2c3b0d70beeffa2a8adbdcf92rootrootframa-c-1.10-5.fc20.src.rpmframa-c-emacs-el    frama-c-emacsrpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)1.10-5.fc203.0.4-14.6.0-14.0-15.2-14.11.2S @Sr @SU@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.10-5Jerry James - 1.10-4Jerry James - 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- Set LDFLAGS in a less destructive way (bz 1105265)- Rebuild for coq 8.4pl4- Rebuild for ocamlgraph 1.8.5; add -ocamlgraph patch to adapt- 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 RPM1.10-5.fc20acsl.el/usr/share/emacs/site-lisp/-O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -march=armv7-a -mfpu=vfpv3-d16 -mfloat-abi=harddrpmxz2armv7hl-redhat-linux-gnueabiLisp/Scheme program, ASCII text?7zXZ !PH6;x]"k%ؕ:7ߕv'2bgH㙖e ycJqǷ+{ʑNd6{+xV q=ԕ飋x$Wh;O;Nq~҅ LoR E*+3&69}ȲƬTaje=o a?mn 2~ ؊]ZRfqNH^ L%(={]q7-ʢ+ǓGׯk`۸jl\c8صp"ϻD*A2+@[ǯs8MiH 6xgayXu2<2c24AR)\}<94nDHozm\|?[[,lݭ0?}s$XU8ܤHjh$y%?L W𝹂cR=(}:e&}TBHzcN2 < OL,4mG ϖ#,7tV y`%CKWvST'u&KZORhѹ?0|mRWz4XCףCyAlh+[j/%"n+"31! =c٥* GC%xY2)g^I菚ʔE[(%%ηتY~s`Pe IVTݷo 6.w3D9F >b9Iwn.ƾ2pEJK{o#@rNRA2+4'iNl˧#F ϥz 7cgWf~Cj/c wH3riCZLa+GlA#sh˧PN4;%յE9#R\J2 Z9FqY0nnP:u]X_or#D!"TŽa\f&id_lx :JށB Ͻ~',4Τ7b*gLu¨Pi@fsOO^NLn'/(~PKa}K ^83f NդN^[LM T<`ލ_)s1m^5o҉[lj7|bwG%Z>x:Cv%Lu _j{JEN{DjgSPc' H3Wm_Jl>o D? LJ8+I41HS9ߊ0eōDM$Wm͗Sff`{G>^Va.t"w01(5ӛG2 qߢ yBB+{Ftb}'~_h"u᝝3&)PB=N <Ҥ4P9ˬϓ֬X:,8$g랋$=ƕVȤ&R)OÔKA$ћ]WGѼ4ah#`?S 2&&q1d|CuK Kt)6R <儶 YZ