frama-c-emacs-1.11-9.fc23$>3"I,DPVJ4e!>: z? jd  ? .4<H N T ` # (4CRp|*(S8`@9`@:@B?GPH\IhXlYtZ[\]^bde f l t $u 0v < ` dCframa-c-emacs1.119.fc23Emacs support file for ACSL markupThis package contains an Emacs support file for working with C source files marked up with ACSL.VWtarm02-builder23.arm.fedoraproject.org8Fedora ProjectFedora ProjectLGPLv2Fedora ProjectDevelopment/Languageshttp://frama-c.com/linuxnoarchBTǛVWtjVWo3e19b56a752d56794a8555dde8b00857f2dd1cb2758962fd532f00e8c38a4eed8d895e11e9b92a4e8a9ad9c6346b56e0d6ef4c3a467ac45a30d53513cb0f16c5ae38a443bf78732eb440af8321453732eef27673ec459466a154ce308b42841arootrootrootrootrootrootframa-c-1.11-9.fc23.src.rpmframa-c-emacsframa-c-emacs-el    emacs(bin)frama-crpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)1.11-9.fc233.0.4-14.6.0-14.0-15.2-14.13.0-rc1VUUUUUa@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.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- 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 RPMframa-c-emacs-el1.11-9.fc231.11-9.fc231.11-9acsl.elacsl.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 -march=armv7-a -mfpu=vfpv3-d16 -mfloat-abi=harddrpmxz2armv7hl-redhat-linux-gnueabiLisp/Scheme program, ASCII textutf-8?`7zXZ !#,1C]"k%r4ؕ:7ߕBOG#~j)kJ ptapCPy3ұNon `/m,pfAUczm(W9 .<l܉!ZYu˹?l)MŬ4Պp+w4BĞk Fqel lӲٳ7R.!7eڗgɾ bN@s4]w(/+*Qu[5"[}/܉Xy 6L̙Ҿ)`M8?PLZ ߔq" ߿TXL;w?8 6ۆw8J#c#sZj횂J?DaN1Af;My6\uЪ0$E LkfHp ]B)H!V:uSM7]l*az9`h,eH{PܬfɂL|xh|B PgEb" AwnE|=rLxA}/I]1J'x ^iDt0T:p'ߢUbe.Wë՟gYOc?Hhȍ؞\ 8PN !;[q>ꫯ2Xro -It6$ g-33XqK@94 S-GY^e~dGiy)AR 1)o 0ĴjDTkHW=o*9ܿa xb="Ñ fow@3llp% y:A_u_ՓZA fX}Nr>:;HhM>Wd\EHW񳇿hP\@is_D÷NjFF5mX h<ݪZ@+AD&5!VjJW|"-LlDNBOk!_.Ij!n3ŰЖPf~&P o#`59qYX}>Rk Gx$ђвX*ef_##ԿcP$7.Vj$v\3Vk\{FEaJzEO8hLۄ+~i|*|G_0acY/R a5Dfy .'"/4Ɩ2qZdVAK:g{kCHV aͼ>ڱİb.F̌d# 3Lֲv⢅D ꖭު:?aU|Xm@<h6/<%P~+L }ݨ!dH2F]J.pwއ#2˷v&hae1fؤrC;W1ϮQ., |U Z` _SXMo#֙htXi@NkH| & 7^V? >)s d=ߕǃ085iW6KΐP\(b^ϗ* S̷1 ..[Q4v"o}BNWa.`4pX{!8 R ϯH^1Vݦ+ҳ ;~&~o-RDN<z@ZkSgGQ$a,evc R=C /WõK]\mK(=?I6GLxִ1CgA*˦vzB i\,wXDjǸYܿ 3 ؎z.U% q&05kȅgYcDKyVd]&; yx c\I2NScqfon54u;9^\!i.n;GB5*%C&fo.Ξυąu5]V?ͮA*WUTF.`I)4r]֤=LH7Na+ #(aZX& .՘=VƮtruzA6XFOwMS!_/,XXY{R,XN @fɥF&& h$hq#6g^ U Ňzz#xř2)E­wƳuN)eIιH/w*shሊ/5,He(Ҍ:8 r5o#T4)f> ix'L:gA Y3kN$7fBm'6leuE`WywhuA˃0g㝹䚗`NzO 1Ywx (H ,=VՊ-+f'QHu77q;sg]$\/\G*|^RHI:!#K΍ ^MZfW![[Hrӛqi:X5gXsV?F{yjQUxE W[B ,@C6j᫸H哘lpTN/?ICOmE/Mj G_\Bv1z}Z!UBnoCb0]ڕ.ͮm{Rw-3{M Ut(Sns@vX0BŒ` ;m`B9&@}WIi8z1ßNfwZSv'0 Ÿ ]jw+CCaG]4[ MqLQ P`*%\۠0AEÚ=Ѩ-۹6NfkG2d86Dfr uMA?mɇo(nQXsm|f;IR)g{ SP~`/%);/ }$e-{p圁ޫhFS ]QaiE8#gatIn$i C_ sn.W .pUShn%+ ;c{;DS16H|yJFj0ohAvʊC)^aiG>vM }g ԡ3bRƤ8X>Ѽ9ܜk$m\Yiԝ-nY/?4@۩pT|aCc7 YZ