why3-emacs-0.86.2-2.fc23$>(*_.1ۣ>:?d   = ",4 8 < D  $<(8.9.: 7.BGHIXYZ[\ ]^%bAd:e?fBlDtdulvtCwhy3-emacs0.86.22.fc23Emacs support file for why3 filesThis package contains an Emacs support file for working with why3 files.VW`arm04-builder15.arm.fedoraproject.org*|Fedora ProjectFedora ProjectLGPLv2 with exceptionsFedora ProjectUnspecifiedhttp://why3.lri.fr/linuxnoarch3IV3VW`daa95da3dff59a849c0f21596361ac580449cd204f38a5d4c29b2ded7e5c80179b168538b544096e5e120513be7d0dd2e0954482b1d702281666801a5b9ca909rootrootrootrootwhy3-0.86.2-2.fc23.src.rpmwhy3-emacswhy3-emacs-el    emacs(bin)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)why33.0.4-14.6.0-14.0-15.2-10.86.2-2.fc234.13.0-rc1VUVCUUUa@UW1@U) U hTs@T~T[bTR(@T=@T@TwT@S%@SSSuSSہ@S @SP@Sr @SU@SM@S0@S(5@S"@S @RRIgR8D@QB@Q@@QQ@Q#@PPP6@PkP @O@N2Jerry James - 0.86.2-2Jerry James - 0.86.2-1Richard W.M. Jones - 0.86.1-2Jerry James - 0.86.1-1Richard W.M. Jones - 0.86-2Jerry James - 0.86-1Jerry James - 0.85-9Jerry James - 0.85-8Jerry James - 0.85-7Richard W.M. Jones - 0.85-6Jerry James - 0.85-5Jerry James - 0.85-4Jerry James - 0.85-3Jerry James - 0.85-2Jerry James - 0.85-1Jerry James - 0.84-1Jerry James - 0.83-14Richard W.M. Jones - 0.83-13Fedora Release Engineering - 0.83-12Jerry James - 0.83-11Richard W.M. Jones - 0.83-10Richard W.M. Jones - 0.83-9Jerry James - 0.83-8Fedora Release Engineering - 0.83-7Jerry James - 0.83-6Jerry James - 0.83-5Richard W.M. Jones - 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- Rebuild for ocaml-zarith 1.4.1 and ocaml-menhir 20151112- New upstream release - Do not ship the nonfree boomy icons- ocaml-4.02.2 final rebuild.- New upstream release- ocaml-4.02.2 rebuild.- New upstream release- Rebuild for coq 8.4pl6- Rebuild for ocaml-ocamlgraph 1.8.6- Note bundled jquery - Fix sed expression separators for new RPM_OPT_FLAGS and RPM_LD_FLAGS- ocaml-4.02.1 rebuild.- Rebuild for ocaml-camlp5 6.12- Rebuild for coq 8.4pl5- Rebuild for ocaml-zarith 1.3- Bump and rebuild- New upstream release - New source URL- New upstream release - Fix license handling- Rebuild for new gappalib-coq build- ocaml-4.02.0+rc1 rebuild.- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild- Rebuild for new gappalib-coq build- ocaml-4.02.0-0.8.git10e45753.fc22 rebuild.- OCaml 4.02.0 beta rebuild.- Linking with -z relro -z now breaks plugins; omit "-z now"- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild- Rebuild for coq 8.4pl4- Rebuild for flocq 2.3.0 and ocamlgraph 1.8.5 - Drop unnecessary sqlite-devel BR- Remove ocaml_arches macro (RHBZ#1087794).- 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 RPMwhy3-emacs-el0.86.2-2.fc230.86.2-2.fc230.86.2-2why3.elwhy3.elc/usr/share/emacs/site-lisp/-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 text, with very long linesutf-8?`7zXZ !#,- []"k%nHE&s)" iqJ ]4TZ2dKo G2^A?|{$c()SS9{QP&3k_kxfUVCI Yp)Y9Koqjh@Kn[3bp)Z1{զib׷+"b  $9xyJQySF[8W9AZuW[ΡJ$\CkM GCS(m)-08p;j rq-H[PvE1r?"Z{G^M{rI&zu9q]t}؟q W/]$>1y<߼[CƓo VRUILb7lj]+ڷ/co AN]`$hYtت ƳJC_U@^l:N̓;`}4.Cu cJ8h.>ūPGq` eNWY' 6Cd!I[-MZއPk_?yo% ϴ{iW-v[0VJDG󡒩좴ULѶ"Y~^e,Inrϸm}e  JrחQWg&g>W}4ñZOKPґS}?Kpt+ȁV~*)m+x8by-I*r젡=f 9"_I`nx=$YK~pt垽DL);3wgkrF8o JwFErFZ_V KRwe k@9b-AB$B(lR~ “ @ [0L)6E i{Ymyu.4o+oű< FcI LZ0#'FFYܴg_z(1搳BkQ ES{.WppEշ0'dEJPTFyr0AS a(,9OA8k8vJjvmFl#Sd4ZDK^,?: $Ng>cS9dؒZ4ȸMlّR([`7=+~LDՕ13|ϫ*Ί&7%b!}ζ4̒Kf,3ԒT 4ʦ'rIXpÍPy7c`X  U_l땽+eBh5lSm+e?#pfz@Įr7 G(mG%|&y=A`ȂU:^z^mG 'ռSNd$z{lKȁ~6~ĝ+S*HnlRSamE?!",M Wƀ[<C xX΋0B,=Mr@2)4Jsx`b= aExM$_ԛ7HFo[ d:,ݛsrٱ[0#*~jlͷ!6~h`F;>P/.|_oh'Z>bL c[&_Ae)W}GZgMD S~~TWh,07K !y4@J6qUǁ8{T*gnMG*{Z#fM0N&O~Е:5|l![Jn3]exUKHϬ%J(@ SQ~}DԈKJE65w.ၤul{_wS!.`+rh ^ԮE=f Yg*h~I{z.;w #4o0VTv&G(NL8ZQ0ݹH\ωn$#֔vSߡ7!M =Zpgn1:uN w_]"H /9ں554)T؛=/gGݟm]s1 :ssŕb#u,buxv/㓗JnEۇAE9UɪZڅZkEʞ g>BLݩE>Cej#GU-}S cq`&iс{+ >`(Q*(Z5cя2m̜Npz2O"ڵ w@E^(H܆ԴS}Ӥ,ܘ.*Pn=J=)|+m:]L҈+_M2~NHi m-+xbx ŨMEKI<*bLKz.Nwo++*DzNӁ0/ܦ=Fm̪K9>Lzﮞ7Nqo7+ԾW) ٨3 W܍o‚Ӻ}}1-m^ﬔ<[v5??Wo SF"T,)e hf-@1&۵ 9QPo jcd` hJjw$f٧G܌@j?mgX!6ԩ?:a j~ѠDǠ`_92Btu927YžLJGO@+gOúr f</nW1on[H݊ YZ