why3-all-0.83-6.fc20$>'D 4^P[>># ? d   J5 DPdjo  ] (89:X Y b d e f l  Cwhy3-all0.836.fc20Complete Why3 software verification platform suiteThis package provides a complete software verification platform suite based on Why3, including various automated and interactive provers.S~buildhw-06.phx2.fedoraproject.orgFedora ProjectFedora ProjectLGPLv2 with exceptionsFedora ProjectUnspecifiedhttp://why3.lri.fr/linuxi686why3-0.83-6.fc20.src.rpmwhy3-allwhy3-all(x86-32)    why3(x86-32)alt-ergocoqcvc4Egappalib-coqrpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(CompressedFileNames)rpmlib(PayloadIsXz)0.83-6.fc204.6.0-14.0-13.0.4-15.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.fc200.83-6.fc20-O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tablesdrpmxz2i686-redhat-linux-gnu?7zXZ !PH6J]"k%]HE&7, ݶS;Vmw ؛Fq=<%ETwa M\38N 䖏N_!W(bњUk5Lc2yd6/{Opk1+TZ6s)6|h&s! k/e8`;އR'~$1l*`s1=A*;v{Az V*p~Fd؂=Y*0e炜dAT'됎c+:bm -i0G`qFd`BYP֠.uY2 z1e7dҽTThaɺn: y/4E$x:N; Įw9\ʒ$N "J|~? kRr!J_,fU2<&)Tr{\u6Rhs,8 !g6 n 뤵PXiVƂkڅ){T8$}KîY>$Iƫ,9K@urX fdao /]EvMszb Z]9>s$oh*Xt+4&5ewRDG7]as_2'tcGkvbƨe*] } 2fq T"{X$oj}2N6b8#r[ /+RD\dj;ws + =_ęJ(/>~;n*CY."GCޅ ѵX~4/͂7't橿tR8AH ^Jh-h9'"4(L2+JKV! G_DXU!v2=ve|r>Z?&!n([XZakY)S¨O ].'mA0c_I>2,)(&ة @Čse-6* h W$9!2 Rհ s$aзKvW|@[`q^{9 UJ>hJzov!0׃@E=ˣ6蓂|O>4ŧ /_&VOch-zfߐnN&Kit b4Lng{$z7ÊsNS- 훎F5"ݝ怬 udiXΙem_֧BeeC^(SRUq~4>W]-)1m 'SV HŃk_YJPSvK$B4{ imTY 1Q;Z\bU\!$ d=㰏(j$3q!y>Wǎl3} {q,