frama-c-xemacs-1.14-1.fc26$>BZsaF[.cx>7(?(d  A $*4 X  j  |        E r m(8N9N:NG% H% I% X%Y%\& ]&( ^&b' d'e'f'l't( u(, v(P((Cframa-c-xemacs1.141.fc26XEmacs support file for ACSL markupThis package contains an XEmacs support file for working with C source files marked up with ACSL.XՇbuildhw-02.phx2.fedoraproject.orgrFedora ProjectFedora ProjectLGPLv2Fedora ProjectUnspecifiedhttp://frama-c.com/linuxnoarch sk<BX@=XՆX@=XՆX@=XՆX@=XՆXՄ5b51214908ad1e55fe549007fe1c4fcb048a092d49b3563d428197903d8bfa19433fd1da4f4bae87bcb573d1d01d173963a7fe5e8508dda786243c5a8c96f2ca861ff27698fd350b22b2b4e405f68a7f836c592efb417ac34e93efab0178d0959a0795a09aa6720d9292b9cbac0e6a5453f2b13cf708a5056de2d5e6e49802e1104e6881e05878c0b587926eea4af70191fedd2fc6a26365e6688b8e309a3cb11c27de3a3df3ff9ab6c2f6d56464bdab50f7191f729d572fbb0d5386e5573f828c27a980aa1a5ee9c62bcd6070c211d33c745817c3ed067618a7e8e7048738e4b619d7d2c913271d3a846f7bb6231c2b2cbc9687877212a0362955c88698636dae38a443bf78732eb440af8321453732eef27673ec459466a154ce308b42841arootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootframa-c-1.14-1.fc26.src.rpmframa-c-xemacs    frama-crpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)xemacs(bin)xemacs-packages-extra1.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/xemacs/site-packages/lisp//usr/share/xemacs/site-packages/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 !#,=]"k%w ؕ:7i@ogYlPbyCg`X B[ 4%$b] "NH]G7͜4sЋ6}bδ;㊭tNZkQ<"ϫ2MCmgY̋lUgFdTUו?6Ed<\<;O:\qՆᷱK,Cx "c[Ԉt]PV[6lf,dk+1~h^#! {E7`Ut$(>Qsk@c9nNY0`'!+;rJxbNvw^l`DCZȳbJy1py/>`#qM"_l mh^.Zt5m-ZP0F-a+\x5d{LL,"l2%ϧ.٘EØta dT.\Z)!mP_$zTvG\iMɲ'Qԉ HC `h= qCwޜ\4ެ\_~W4=q6x/tMx) o1f;)~rq|QrtyCޠƫ:,\YjՍ_H'iψj~Rm6~t= Kx0ϔ?M!׏<~a()\?>Zo+^8_tSiYDEnՕ fʬwsCA5WwmQ$2֋&M}پ n?8 )e♠pTX!jD VeڶQ/fiܝoviU*?CqתI'$z~湬o@O9UUf O'QOp2it.`Mi=Q|ģc6k.!g2٩.<+ϒlĞH!'ލxr.\^:ޔib+TМڢ Lmٙb8t%/\nDͷ ,jW65'PuC5NG>QeĈDN fod^]Rlu@Ac8BnyZ$Nm2 گ,zn r/o{i>e `Cvq ۔5a)[D@.KY&녨"KMёҠC;=扬%kݸmOn>,ȣ4o? o|vSk^Ƕ[hIa{F)c؜B%q˥PL_R3 ߘMmÙ]3"$\FO!d2CcĽ4MTL/90>Ld}%iix:U8yu'EW}v(B =e)%x7ԡU^U$3j*@Wk1TIiGlΦ NU(%Q:UB,oӆ#u&)1!A`V5KƩyYM­Pz 4ؿBxR(d庼1,Z D]o^hzGF[ChM?":!%ǛU\ q&8S@Tcb۫9cEHB5|^K_8V-bﾝЫvkʞA2qB |aƳc +uYMض1eω3yϏ< 129K|mέ_0.G:RDмICڐsNE4m7远%Km0QV ԕ7ς \>`YFVBN}#I==qW'AC^;MrķeouTJ E}'\E6*Hmh:7b(!T肰 C]6UFP.Aȸkہ9z]"e[zIc/>!kiWUʆz{n-CM;P'rm" H@lA@n dXu+O#-h(X{9o> Aaοn ϗJOLA#.L?BK!\1'FϪ"m]d5a)}{+18J RZˎ[?Y4N:b(.IPBBf/(z 47U+[4KozAјL \k@t$b@wW;"%3:#+dpC߼}J6V56rn7ZUGF1g/[NW%͕{7\RtV`MM"!puQ8+&D%PYd0+h/LȧГ\g}Tz "oN;v(MNl-i؇iz3ȑqӔ~8\aFm>0q\sq8߃}7$PR;e}LHG3湏eF,!?[\3u91IZ$ŒjČn'@hq\^- &f*Aۿ7ޓP Om823 Gu/ e"&yk ږ\0N T`x×6 M#OU\RgZ׉"LNʊlLCTx,~!MV{!?K՗߰qėu@hNH&ɌVWM@$[fm ͫzE{B,.{N+ v5Y5~i$yŏ;YvMŪuj5] ~^#4g^0i4anPRǛEը,< QGթ`Eֱp]d?jGNElP-&JYu!(XV5y6qؑ: wei +$#Xpe ˫,&j'UpŌ$m–GH2i_ٮRM9Ta%GOQMٯe>C}5z *{Gi4 @"/0N".,krוaUD.!/;{}?T n艆&VD>}"ܽ30-S{K$f[}D) 1X]1gM%W r=q؛?`  SRza+6 8T/| 30^Ej8 bQsJ|@V":JW"Na1nCH%O/ãJ\=o"V3%4G. eZe4g4pMiAuf+Q~Z_@g, yiJW-Kװ0yҞcXQs>y*78(4Up!kwD"1¤EZFi}KOų.*GF ygsg6d17rJV佨X#(L(P^f=Bq͆:Li[K Mr;ḋn)Yz uW.,*|¶grI_qZ58-_ ߾HϘ5c+MMV&;K?:[ῑ\9׃.DLYи58$Or ``du "n Ҳ NuEe3I}X5CGZ:Bh'"ro!}r>,]PAG"_]װ0NXz ` 4C0 a " _4rLglӥR yN931pnZh|aP$c6`G>u4x2fmu,`LL(+.)L"M]Se~a"+m6vrEFZmtw~?Z|3.^A%DnCtr<+z] YZ