why3-xemacs-el-0.83-6.fc20$>_Y'l l8G."R>8@?0d  A% 4@TZdh j l p  s(89:G H I X Y \ ] ^ b d e f l t u v w$x(,Cwhy3-xemacs-el0.836.fc20XEmacs source file for why3 supportThis package contains the XEmacs source file for the XEmacs why3 support. This package is not needed to use the Emacs support.Sarm02-builder08.arm.fedoraproject.org(Fedora ProjectFedora ProjectLGPLv2 with exceptionsFedora ProjectUnspecifiedhttp://why3.lri.fr/linuxnoarch(S#bb434d08886e1b94fd5d113f17675ee8227f1268cd443da20cbab0aaa7f9e642rootrootwhy3-0.83-6.fc20.src.rpmwhy3-xemacs-el    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)why3-xemacsrpmlib(PayloadIsXz)3.0.4-14.6.0-14.0-10.83-6.fc205.2-14.11.2S @Sr @SU@S0@S(5@S"@S @RRIgR8D@QB@Q@@QQ@Q#@PPP6@PkP @O@N2Jerry James - 0.83-6Jerry James - 0.83-5Jerry James - 0.83-4Jerry James - 0.83-3Jerry James - 0.83-2Jerry James - 0.83-1Jerry James - 0.82-2Jerry James - 0.82-1Jerry James - 0.81-6Jerry James - 0.81-5Fedora Release Engineering - 0.81-4Jerry James - 0.81-3Jerry James - 0.81-2Jerry James - 0.81-1Fedora Release Engineering - 0.73-5Jerry James - 0.73-4Richard W.M. Jones - 0.73-3Jerry James - 0.73-2Jerry James - 0.73-1Fedora Release Engineering - 0.71-3Jerry James - 0.71-2Jerry James - 0.71-1- Linking with -z relro -z now breaks plugins; omit "-z now"- Rebuild for coq 8.4pl4- Rebuild for flocq 2.3.0 and ocamlgraph 1.8.5- Apply upstream fix for building with ocaml-zarith - Fix file encodings - Fix permission bits- Back out the post-release fix to the Coq printer, which breaks Frama-C- New upstream release - Use cvc4 instead of cvc3- Rebuild for ocamlgraph 1.8.4 - BR ocaml-findlib instead of ocaml-findlib-devel- New upstream release - Drop upstreamed patches - Add -examples subpackage - Install LaTeX style - Turn off frama-c support at upstream's request- Apply upstream fix for change in the alt-ergo timelimit option- Rebuild for OCaml 4.01.0 - Enable debuginfo for the ocaml sources- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild- Rebuild for frama-c Fluorine 20130601- Rebuild for frama-c Fluorine 20130501- New upstream release - Disable PVS support for now; it requires the NASA libraries - Fix the conflict between the why and why3 Emacs packages (bz 913522) - Disable parallel builds due to intermittent build failures- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild- Rebuild for coq 8.4pl1- Rebuild for OCaml 4.00.1.- Rebuild for coq 8.4- New upstream release- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild- Add missing sqlite-devel BR - Do not move the coq plugin - Generate debuginfo for the sole C program - Add man pages- Initial RPM0.83-6.fc20why3.el/usr/share/xemacs/site-packages/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, with very long lines?7zXZ !PH68r]"k%w2HE&!逃ăv6tKy5W= Gxd@Dn2ƹșj sfhzlzF\ 畫-&EeqϪ4/ma| D8DQ,;6!⋇*s& ByaM:9[8*k1ӷ8(;Ǐ́XBl2~m+84 +ڑqsϢYhSX$0ȽӉKk+֨kU7݈]ˬQ %lL`ek{N#qc\CK|lq?p!ݮt.xozcvr(Œb2>/+}gpzoYiv{1!wV;DXF5̓qܼIHԐ_ýy8!`3`(]Ԥu( "r%&|+Q`HStg,O)rd @ۜcBv~ѩT4;s{AQ}}L)h!aTy\Aq iam?SGwWa('wl#SDt )gX, @΋AUpwՑ<ʩ+$%fr{Q[@y=ju1,L'F NIӓ5|A^i&%j8U:"Ґ=emk"IΓ0!L5Em$P10 ) /斝s45ƭAj%|BU}vC$ (-=A-ݴt33qZ:ZL|Ԙ$HVw_2R͇+žW yoC"8NvSWO,vJc6F${X݈O> =2نv3bZRV{X2Gi8vF麠uيVi#/)Z;X MɬYzYb&L E*R Ucmuh%_G-6k ?!"ՀwR咣]U+|b p%hgX|'91{oU{眕ISuuJe\;ݐjI=?7B=NŁJi}#>x63%v @6w _P*:pB q K YZ