why3-emacs-0.83-6.fc20$>88 ϡЖ]>8 ? d   ; (, . 0 4 u x|;(d8l9:G H I X Y \ ] ^ b d |e f l t u v w x  Cwhy3-emacs0.836.fc20Emacs support file for why3 filesThis package contains an Emacs support file for working with why3 files.Sarm02-builder08.arm.fedoraproject.orgFedora ProjectFedora ProjectLGPLv2 with exceptionsFedora ProjectUnspecifiedhttp://why3.lri.fr/linuxnoarch큤S39da3fb1bea49421fcefd60cbe4e392e19e07fa73d64b7cf702f6e1409787b83rootrootwhy3-0.83-6.fc20.src.rpmwhy3-emacs    emacs(bin)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)why3rpmlib(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.elc/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-gnueabi?7zXZ !PH6M]"k%fHSHE&s)Y('aAfK<ݱC򝼔WiYQc@_lpׅcxpfCDW+N{q GBʫ内ڒ@?Op&?m.(1xm{%'DyBVyOv"7`0a"+ɖkⱆen.[ u76\> >G8U7׼Nk-*dŏ-q]j8 lA,e~Bd܄(m~> Ї'zy㴣dSDg`N ⺕0Eׇ6 Y7h+\tуMVdᓜ|e(%'P9x,Y<,Υ@,@'NT{wlX)-w4*ǽj_3< yf7ݟĨR@8u7sUqH!XCAы0:;v23XEF3 c=vҕx絛gW}Kk āq}¿) )Vay $Tȸr%{]/:& >҈9~L,qv׽a^&P?%z}voq0ЛXX#" |8(n?IM\ݜç8Oŏl(]Ճϊg6O`rC'\Zbl41P (BƆLK]¨צѹX*J5sPzhD5 !>>l;tc$~; n[0Jp+߲CRցO\Sa+pG4{5fH$vZj>!9ip* L/Zpe#aK *AԨCF.пĻ8 qMgU<BvLv]K5o. Ic}5R*!ا$(dDEMb2$X]EM ik ƍlxhEj`@WmZC4k߶ [9rjc:1{52MU8e}}@QƲ}1aYj\[%Ղ7`){_Ȋ7w#% : [f L:>k!ʏ}=p7d@ƃ۳_1F>r'*ّǨHTn8:LW#}1/SeL ;Jf8jY+Ka cs!C|Yyd1itD>>rX7Ot%snTؘ ݶ YZ