why3-all-0.87.2-1.fc24$>!a%9n= j>$?d   L"9 HThns  r (8696: 6XxYbdeflCwhy3-all0.87.21.fc24Complete Why3 software verification platform suiteThis package provides a complete software verification platform suite based on Why3, including various automated and interactive provers.Wɻbuildvm-09.phx2.fedoraproject.orgFedora ProjectFedora ProjectLGPLv2 with exceptionsFedora ProjectUnspecifiedhttp://why3.lri.fr/linuxi686why3-0.87.2-1.fc24.src.rpmwhy3-allwhy3-all(x86-32)    Ealt-ergocoqcvc4gappalib-coqrpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)why3(x86-32)z3zenon3.0.4-14.6.0-14.0-15.2-10.87.2-1.fc244.13.0-rc1WiW-@WN@W@W)@VV@VVUVCUUUa@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.87.2-1Jerry James - 0.87.1-2Jerry James - 0.87.1-1Jerry James - 0.87.0-3Jerry James - 0.87.0-2Jerry James - 0.87.0-1Jerry James - 0.86.3-1Fedora Release Engineering - 0.86.2-3Jerry 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- New upstream release- Rebuild for coq 8.5pl2- New upstream release- Rebuild for coq 8.5pl1- Rebuild for ocaml-ocamlgraph 1.8.7- New upstream release - Drop boomy icon removal; upstream no longer ships them- New upstream release - Use camlp4 in preference to camlp5- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild- 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 RPM0.87.2-1.fc240.87.2-1.fc24-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 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tablesdrpmxz2i686-redhat-linux-gnuutf-8?7zXZ !#,)o]"k%fHSHE&7, Pb!@vLI}$n;R/N3Lr@G*($i3F RA/0$!_]UQC'Լ v w_/fiyD1ق[k`ۊEX b7F}WϸQb׆@ / $P0VQcTԳU&' in{UK >ß%$xV94% bSîRmTZ/g]Ϟ> 5%]4g fʗ\~%<:!GlXH5qނY30йAhM? oj5H )Ƅw8i#M%OD@&Vٿugxd 8hcz{v9?5,E_T)(*얠IH[:KqW+לYcD90!h=5'9*ɬ@jQhtwg8EmhkI9=$Ln=(ʽ~ᔾ<м16s@XIOבtf`+5vzdр|ιj~F%$EO%8lvxqqɉ _5Xz+Xqb5[ZzuSiRpIrnC~0Nv>+cENKht I?WִR#Y?z>YDH$d[U<;/<* 7'+9LnA]$Cxw~sXhmЬ587\PCxqF/ wa&Iӝ6H^ (N,2;7U%,L ($'+WRۈC9O>}g?{]a8PM'UwB%ӛ I~v%rHǸWa x7bNEHdqXDf͙s[CA&yeBŽcJl6hL<.njOcXZkh - C U!@\y/ƿ4vVBIKee7k2=24=S5׸G w!HY4Tp8֙Z4ZAU/ ?H3j`gC/1rk ba+(m .ZnC"7L(4/.jX ?tbJ*jcW1UVV j7P1>/6JӯEߐRp]5j@4͑,x-=҉*qʑyGT`䛦mNgQLh1 9ax I] e>.'SznԈY6E f32hLv#Klx'E-r`B]RI ,i8 YZ