why-all-2.29-2.fc15$>cN(TT,K?Q>#$?d   H 1 @Ylry   (89h:XTY\btdeflCwhy-all2.292.fc15Complete Why software verification platform suiteThis package provides a complete software verification platform suite based on Why, including various automated and interactive provers.NXx86-11.phx2.fedoraproject.orgFedora ProjectFedora ProjectLPGLv2 with exceptionsFedora ProjectApplications/Engineeringhttp://why.lri.fr/linuxx86_64why-2.29-2.fc15.src.rpmwhy-allwhy-all(x86-64)    why(x86-64)why-gwhy(x86-64)why-jessie(x86-64)why-coq(x86-64)why-pvs-support(x86-64)alt-ergocvc3gappazenonrpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(CompressedFileNames)rpmlib(PayloadIsXz)2.29-2.fc152.29-2.fc152.29-2.fc152.29-2.fc152.29-2.fc154.6.0-14.0-13.0.4-15.2-14.9.0N@NMM@MOM9u@M9u@LY@KKKG@J@J|@JmI2IR$@H@HHWHnH@Jerry 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- 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.29-2.fc152.29-2.fc15-O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=genericdrpmxz2x86_64-redhat-linux-gnu?7zXZ !PH6J]"k%YsHCXI!Kg7{3EXyp)4P9Ĝ'~PPY.Kuªd/ƧY*9H Nckq6@RMfpu_Q,D'|DaahiqwY班}"@eEs-BBu87 Sd5j:E뻑Y#B2'n*$j_tU)КQKUfxJ9i7")~}JQr|:Y=)#!p lIP:o':Rv 6%̽;S犭o Yq)}MYM(2TwR2ߞB J p3;&n>8qRϜnj<"L9J_q>d3r+R\4Aj;7\tOkgL+.5{4 }ѸtFB7~dwW}iV֘ !\zL+G$kpQ` ?»%i22|3]!w&YET0 T͚ǻy.[Cx=+Zi)j`s4< ^߶9ts&`R +> Sy0[䀄BEs*싮oh9M d_iQMzHX +S?'jdD{X/!?oP[O/Ø ly+Gv'CrFxizy$Ϙ=SMe~~!wڮQ?t ?!%OHy[i =)Hp@̞RKBm)P#ܽڵ^(p4Z :BeR]H$P _& \Ovkpo?m@v!B]Ġyk55W`ږ,`+.F@OC}D,utKIzN郍C9Q3 1ZKnŃ:;8YjUr2 @ qXnemwU(&Uu!e{G^ױ&,D!*P9zp2#UJۅ <.nCg;h1E4&g0R˙BXc~,07];3z" +Pm)Y.?\ě,_nVv"ۊy,  fv*9 Y)9Ú=X堡ӽ`5(|P\7Tqa6ɥ¦]N/Qw\b