frama-c-xemacs-1.14-1.fc25$>B? ~vi>7(?(d  A (.8 \  n          I v q(8N9N:NG% H% I% X%Y%\& ]&, ^&b' d(e( f(l(t(0 u(T v(x((Cframa-c-xemacs1.141.fc25XEmacs support file for ACSL markupThis package contains an XEmacs support file for working with C source files marked up with ACSL.XՑarm04-builder09.arm.fedoraproject.orgrFedora ProjectFedora ProjectLGPLv2Fedora ProjectUnspecifiedhttp://frama-c.com/linuxnoarch sk<BX@=XՐX@=XՐX@=XՐX@=XՐXՈq5b51214908ad1e55fe549007fe1c4fcb048a092d49b3563d428197903d8bfa197ab492ff02a1538b8dfd3b76a7c6542f12acf9d16b8c114562815ba6eb6cc740861ff27698fd350b22b2b4e405f68a7f836c592efb417ac34e93efab0178d09597db5ca985d809b192b6b98fd30ebdb4d01923745dae1f04f2d9996b58b86d6a104e6881e05878c0b587926eea4af70191fedd2fc6a26365e6688b8e309a3cb108714f322ca0f5d91a0f6cec8c81d4a0006b5ac9659371da9994afe358cfac828c27a980aa1a5ee9c62bcd6070c211d33c745817c3ed067618a7e8e7048738e412996b402ab749a55c721b3997dd13263bedd2822bc9836f78a973d981938e2aae38a443bf78732eb440af8321453732eef27673ec459466a154ce308b42841arootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootframa-c-1.14-1.fc25.src.rpmframa-c-xemacs    frama-crpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)xemacs(bin)xemacs-packages-extra1.14-1.fc253.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.fc25acsl.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 -march=armv7-a -mfpu=vfpv3-d16 -mfloat-abi=harddrpmxz2armv7hl-redhat-linux-gnueabiLisp/Scheme program, ASCII textLisp/Scheme program, UTF-8 Unicode textutf-8?7zXZ !#,=]"k%w ؕ:7i@ogYlG|(߀)j}z/wOFr>>wǤTa=pߓQQKKQYנXǟI遘r9\Do5ɰ S݁ T4M#l 躯ܨ`]C]bE(-[uHBOp3O98 ,\[i(±+y:~MVpR%nx?Wȇ0 ~onBRUVqqqi#j {%j"-=܍v0* ,'qmxkl;E$y,fCͼ;Sy-"c5uɓni'>ղ:H7{>4/}5LE&ML=\9&ȍW21ORTIuxk* UimZa`q8̅˧xx7}wQ z\o4W @y<Ԙ?D]qMRcZ@Q":7#[)yZG_;3+s]y%} iT&`i(Psj6yg|Y3M9PhdE;4Wu&h%^[u=īKJwI nPHxӸP*pF3]wKѠ2[;~cŀeFz+>a^\AUCWl 1n|xR^g!@* ¹ۗ  Z8 k9.*əBzUӖZ=G$M֘ {:R{گkȆN(oyl+_܃r 9<`u iۧ_'cg:M]vf]gGʛrr&=.^Q h$s/oS_O" 5ݝ5kRz1|KXx`.\yJ$l4*d36,̦|YAR,i@Ϯp;ՠ w}yKLҫWv OuY UDrZ{Kw.{=N3@X P ݄AҪ#j:q]RRSton=Zi.6x!O+cof^`q'-NA!8IE:v4Qy1`_1TAo[M\=z;&B W/gܭqRqjiUTQ9Qcy&q<oMA~<#/47p9ԠpXS<|e|! Z 髅^LĀ?IC*'<)}/JN^HnԲ9ބKv~&cڞu%g!-/FY stx,, ?4{|]2ԜH$RO{ qv%8+3:%uYXUu6|1Qa6pM0r732@iwV[qI 3S30L A֘!P$WY{$dk"~.7w(L$:& knrϒFͬl("27ru UGhl׶$Q"pCG_4pn}pYHWUFkN]Ms(MWBsT@M}l&tA+xVq`4UJO+ ȋ(})&ON="={*jႺK7$G8Y[' &Ukyqϻ6@b 5? />.!5d,lFpK#dwfG]cѸee]{4Ȑe웈otVQ$VAKB^7UJ͂OUbϒk摪kRw0ؾ-9521iF_QμW7a2Z@E}Οx_L0 k0dY&:=GecMJ ƙ({C,:<$#Ds8^;~?=p0f-1N>]gǂsls.dH-|'9%R'"ܒUAc (ЙMR7o2T 2&0Re]c2x<!J'LʷӨ<=K\P4l:Z:*^Cnt(ؔ!OkyN,{sC03p]M|@ l`fK*\ꀶx1}aMSlọMf1XDfnmd.Q}2ب{Ň7(_Gh b`אM_g?N9u80u!fD;0m}7L<(k+\Uko^\W5# p Å.-!nH/e=Dpu؅G) dX%$OH‡J/qAޚ }NO pzRh 붓(/WW--"AE M?/{;8a _P4:uL 0w񅉌|U#:P6DMb"5 'm<<羢Z1YgJje‰tfu] :i#5!E{6xt6(Pb\I#Jxج)T )V+Dl謮ZM lcF bSjШ]Qy Ì^FAKMeC8nW`Ȉ}(cwVC`פ[܃`c65өL]rh(E{Tm,5MPQIECn-#:w[>('.Yz c-T_?m >8Glp8IY ?ggq,oU`⮏4Pp&b&bcqHȨOn˚!Ж0 grȮ4`]= e/qX3{HUsqr~bFV2,0LB s PlTDhycǔ5D>A\Ca Zt}vRht5oP XS,,srA,?nM2D]3w 1Ϋ`ل&tJ"h`쫫6"}.sU[ [t;IЏ-EkVc.reV~Rlj͞b}?2{oPT*j[' ?>hetZ_Jѿ7S[߮G^x*Ոk5œ l-s]!EѐDK*ޕ/jdzLeRgy"/M6RNa_4{dnswUsH4GGfy%oBdQ,edMGnCFIM Cb-ؕL]Rw1*-hD7nDLW' ;KF]|_eo}q p&-~8)5rWoبYc,KŰK߆Ǿ OFB6/ 礹IgHN?5y?M^WV\izZ^tP^B %Y h4ys3:hl *QhTN_!Ұk0#bB{%~젖'jZq!Q}:q.t\H-$w)gT!U}rz2Xt *s\~Uo,X|H/@߅e5oqzXL*LFӵ뗰Mq:/{$hG_ܮr@_'V\Mh%pkPF9 hNww\ ersp`ypB?d) fidY;5# Yy9V`Oxwf>wipJڹn Ěvg6rfk /}uh=1IfW@4ҫ-Tks+@g E~Ѳ2sڊ][ytةLàC :I-*2,uƍ&w-]Y~a=d@y,nlijer$/FX26D?)Pole=-UQoSw~Xga,uTc :@Cg\"㚒Ťxț |.b8\>RXDo dS,"0E!kOFǴ\Hkȭp?H}RV6an*|zX`X^+86aaI;ʻI)y)Ic+~~~)9)B7 8̀A!ԍe PR]zwZo d˷>z5f>,z+ YZ