why-all-2.34-5.fc20$>(K{ٻ %e7># (? d   H5 D]pv{   (8 -9-: -XY b8defl Cwhy-all2.345.fc20Complete Why software verification platform suiteThis package provides a complete software verification platform suite based on Why, including various automated and interactive provers.Sbuildvm-24.phx2.fedoraproject.orgFedora ProjectFedora ProjectLPGLv2 with exceptionsFedora ProjectApplications/Engineeringhttp://why.lri.fr/linuxi686why-2.34-5.fc20.src.rpmwhy-allwhy-all(x86-32)    why(x86-32)why-gwhy(x86-32)why-jessie(x86-32)why-coq(x86-32)why-pvs-support(x86-32)alt-ergocvc3gappalib-coqzenonrpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(CompressedFileNames)rpmlib(PayloadIsXz)2.34-5.fc202.34-5.fc202.34-5.fc202.34-5.fc202.34-5.fc204.6.0-14.0-13.0.4-15.2-14.11.2Sh@Sr @SU@S0@S(5@S @R8D@Q@Q@@QQ'@Q:@P@PP@PO'P;a@P6@Pw@P @O yN@NN@N@N@NMM@MOM9u@M9u@LY@KKKG@J@J|@JmI2IR$@H@HHWHnH@Jerry James - 2.34-5Jerry James - 2.34-4Jerry James - 2.34-3Jerry James - 2.34-2Jerry James - 2.34-1Jerry James - 2.33-6Jerry James - 2.33-5Ville Skyttä - 2.33-4Jerry James - 2.33-3Jerry James - 2.33-2Jerry James - 2.33-1Parag Nemade - 2.31-7Jerry James - 2.31-6Jerry James - 2.31-5Jerry James - 2.31-4Jerry James - 2.31-3Jerry James - 2.31-2Jerry James - 2.31-1Richard W.M. Jones - 2.30-7Fedora Release Engineering - 2.30-6Jerry James - 2.30-5Jerry James - 2.30-4Jerry James - 2.30-3Jerry James - 2.30-2Jerry James - 2.30-1Jerry James - 2.29-2Jerry James - 2.29-1Karsten Hopp 2.28-2.2Karsten Hopp 2.28-2.1Fedora Release Engineering - 2.28-2Richard W.M. Jones - 2.28-1Richard W.M. Jones - 2.26-2David A. Wheeler + Mark Rader - 2.26-1Richard W.M. Jones - 2.23-2Alan Dunn - 2.23-1Dennis Gilmore - 2.17-5Alan Dunn - 2.17-4Fedora Release Engineering - 2.17-3Fedora Release Engineering - 2.17-2Alan Dunn 2.17-1Alan Dunn 2.14-2.1Alan Dunn 2.14-2Alan Dunn 2.14-1Alan Dunn 2.13-2Alan Dunn 2.13-1- Omit "-z now" when building with relro (bz 1105265) - Resolve a conflict between Frama-C and why modules both named "Project"- Rebuild for coq 8.4pl4- Rebuild for ocamlgraph 1.8.5 and flocq 2.3.0 - Add -flocq23 patch to adapt to flocq 2.3.0- Remove dropped patches - Add icons - Fix the desktop icon entries- New upstream release - Drop upstreamed -hashtbl, -flocq, and -or patches - Add ocaml-findlib BR- Rebuild for ocamlgraph 1.8.4 - Update desktop files - Add AppData files for gwhy and jessie- Rebuild for OCaml 4.01.0 - Enable debuginfo - Add -or patch to fix warnings, since warnings are errors- Install docs to %{_pkgdocdir} where available.- Rebuild for frama-c Fluorine 20130601- Rebuild for new frama-c and why3 builds- New upstream release - Drop upstreamed -warning, -coq84, and -ocaml4 patches - Add -hashtbl patch - Enable Jessie plugin again- Remove vendor tag from desktop file as per https://fedorahosted.org/fesco/ticket/1077- Rebuild for alt-ergo 0.95- Rebuild for coq 8.4pl1- Rebuild for OCaml 4.00.1 and frama-c Oxygen - Recripple the Jessie plugin until it works with frama-c Oxygen- Rebuild for new frama-c build with altered API.- Frama-c is fixed; rebuild with the Jessie plugin enabled and functioning- New upstream version - Drop upstreamed patches - Add ocaml-mlgmpidl-devel and why3 BRs - Add -warning, -ocaml4, and -coq84 patches to fix the build - Cripple the Jessie plugin until problems with frama-c and hashtables are fixed- Rebuild for OCaml 4.00.0 official.- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild- Patch to work with flocq 2.0.0- Rebuild for coq 8.3pl3- Update alt_ergo and yices "okay" version numbers- Rebuild with APRON and gappalib-coq support- New upstream release- Fix broken conditionals- New upstream release (fixes FTBFS: bz 715902) - Remove unnecessary spec file elements (BuildRoot, etc.) - Update approach to filtering provides and requires - Add has_pvs analogously to has_coq, and simplify macro usage - Add (X)Emacs support packages - New subpackage for the jessie plugin to avoid unowned directories and permit a direct dependency on frama-c - Prepare for the eventual availability of APRON- add ppc to excludearch, too. No pvs-sbcl available there- add ppc64 to excludearch, no sbcl available there- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild- Since 2.26 FTBFS, try latest upstream (2.28). - Rebase Makefile.in patch. - Fix(?) test result. - No libdir/frama-c directory is created any more.- Bump and rebuild for OCaml 3.12.- Upgrade to upstream version 2.26 (inc. update of krakatoa.pdf) - Integrated with Frama-C and PVS (as pvs-sbcl)- Rebuild to fix dependencies.- Upgrade to upstream version 2.23 - Move execstack fixing to spec file from patch - Moved patch descriptions to initial patch declaration as in examples in Fedora documentation - New Caduceus, Krakatoa documentation - Update test result from small test min.mlw - Added CVC3 interfacing capabilities - Removed patch for gwhy configuration, as there is a new mechanism for this- Exclude sparc64 s390 s390x there is no ocaml there- Removed now irrelevant check for no OCaml in Fedora < 9 (those distributions are EOL) - Changed ExcludeArch to proper Fedora versions - Builds coq subpackage exactly when Coq can be built, thus making build independent of whether Coq can be built - define -> global - Fixed accidental use of in tar ocamlgraph instead of one that is separately packaged- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild- Upgrade to version 2.17 (bz: 477790) - Add ownership of two directories common with Coq, but neither program requires the other (bz: 474016) - Minor filename change in 2.17 (GPL -> LICENSE) - Added back Coq .v files to match policy for Coq - Changed directory structure re: jessie and krakatoa to match new structure in 2.17 - Minor changes to patches to ensure they still work in 2.17 - Corrected package location gwhy-icon.png (should only be in gwhy)- ExcludeArch ppc64 on Fedora 8 due to no ocaml.- Fixed minor issues in response to package review: - Inclusion of COPYING, GPL license-related files - Added config.mll patch to make default config file created nicer - Changes subpackage dependencies to be fully versioned. - Makes during build allowed to be noisy (allowed to print).- Changed to new version of why, removed previous why-cpulimit name change, zenon output format patches as the issues were fixed in why 2.14. - Moved doc subpackage back into main package. - Added example files to documentation subpackage. - Added check section with test on small why file. - Reformatted some macro names for greater readability.- Added several patches: fixed Zenon output, completed fix of rename of cpulimit -> why-cpulimit.- Initial Fedora RPM version.2.34-5.fc202.34-5.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 !PH6N]"k%YsHCXI!Kg:3_ةVsLhTWb "g5.*TbCMc5LRS8(Ap]N)ڏ(󏨟#}x=v=fㄲ,lK 6._i6\VuAQgc6Ouet7N꾽KIܶ-b${]eT]\P]̖MP}I(a欆9sҶ% zx gL&Y5ݢ`<3a+#Ge/@mfhAOWveP˿n[0 AX*؄Zo&NɶdSD^4>Gn""C}ʛ| V;eNZOr@gEܐ'b 㝅#}w2U#pwuxP[s [H-g z!q)o lGWG˯\Z$b^P\Q(&7iUBsL3YmeoR%)ښߙfFsbLuKsG(w_<S ~>ĝ4)ON gZ.Yqi‰3' 1KmPGIRV)6 3\=+p4,>< ?,8 du<2u#tM 2֔p%؛>G',J% W@'ZJ[N%eѯq׭C t3ݙ蓠3H6HI U,_o0' 7M` "7Aw{L|NALBHRk{h[1$n'YF:B7PzihE! }y " ʟ.Z!E oXG{5] Ś~7UQ覆ϓHp@:G v &;!pzh} &|`iu 'T0ѷ\z~w-?1. p<ǽ38Ҭ988[D>6ı\+wF.jdܔ|GjC* 2˵TYQԛyTra%p`A:d>a}Sx/]UEB K{=zGPo "fSpK0AhT'CwG ; -S)CŒ 4P5= Z\z3'nnr 9_iX3 SNm+}Sc1ױh}k2{^Ml=$]ܥ@(b_\4:n8 fppζ YZ