|Index||index by Group||index by Distribution||index by Vendor||index by creation date||index by Name||Mirrors||Help||Search|
|Name: why-pvs-support||Distribution: Fedora Project|
|Version: 2.29||Vendor: Fedora Project|
|Release: 2.fc15||Build date: Thu Jul 14 22:59:04 2011|
|Group: Applications/Engineering||Build host: x86-14.phx2.fedoraproject.org|
|Size: 957664||Source RPM: why-2.29-2.fc15.src.rpm|
|Packager: Fedora Project|
|Summary: Complete Why software verification platform suite|
This package provides support definitions so that the Why software verification platform suite can invoke PVS without licensing issues.
LPGLv2 with exceptions
* Thu Jul 14 2011 Jerry James <firstname.lastname@example.org> - 2.29-2 - Fix broken conditionals * Mon Jul 11 2011 Jerry James <email@example.com> - 2.29-1 - 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 * Thu Apr 14 2011 Karsten Hopp <firstname.lastname@example.org> 2.28-2.2 - add ppc to excludearch, too. No pvs-sbcl available there * Wed Apr 13 2011 Karsten Hopp <email@example.com> 2.28-2.1 - add ppc64 to excludearch, no sbcl available there * Mon Feb 07 2011 Fedora Release Engineering <firstname.lastname@example.org> - 2.28-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild * Fri Jan 21 2011 Richard W.M. Jones <email@example.com> - 2.28-1 - 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. * Fri Jan 21 2011 Richard W.M. Jones <firstname.lastname@example.org> - 2.26-2 - Bump and rebuild for OCaml 3.12. * Sat Oct 09 2010 David A. Wheeler + Mark Rader <email@example.com> - 2.26-1 - Upgrade to upstream version 2.26 (inc. update of krakatoa.pdf) - Integrated with Frama-C and PVS (as pvs-sbcl) * Mon Jan 11 2010 Richard W.M. Jones <firstname.lastname@example.org> - 2.23-2 - Rebuild to fix dependencies. * Fri Jan 08 2010 Alan Dunn <email@example.com> - 2.23-1 - 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 * Tue Sep 22 2009 Dennis Gilmore <firstname.lastname@example.org> - 2.17-5 - Exclude sparc64 s390 s390x there is no ocaml there * Fri Aug 07 2009 Alan Dunn <email@example.com> - 2.17-4 - 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 * Mon Jul 27 2009 Fedora Release Engineering <firstname.lastname@example.org> - 2.17-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild * Wed Feb 25 2009 Fedora Release Engineering <email@example.com> - 2.17-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild * Wed Dec 24 2008 Alan Dunn <firstname.lastname@example.org> 2.17-1 - 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) * Tue Aug 05 2008 Alan Dunn <email@example.com> 2.14-2.1 - ExcludeArch ppc64 on Fedora 8 due to no ocaml. * Fri Aug 01 2008 Alan Dunn <firstname.lastname@example.org> 2.14-2 - 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). * Wed Jul 30 2008 Alan Dunn <email@example.com> 2.14-1 - 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. * Thu Jul 24 2008 Alan Dunn <firstname.lastname@example.org> 2.13-2 - Added several patches: fixed Zenon output, completed fix of rename of cpulimit -> why-cpulimit. * Wed Jul 23 2008 Alan Dunn <email@example.com> 2.13-1 - Initial Fedora RPM version.
/usr/bin/patch_jessie_pvs /usr/lib/pvs/lib/ints /usr/lib/pvs/lib/ints/div.pvs /usr/lib/pvs/lib/ints/rem.pvs /usr/lib/pvs/lib/why /usr/lib/pvs/lib/why/.pvscontext /usr/lib/pvs/lib/why/jessie.prf /usr/lib/pvs/lib/why/jessie.pvs /usr/lib/pvs/lib/why/pvsbin /usr/lib/pvs/lib/why/pvsbin/why_array_pred.bin /usr/lib/pvs/lib/why/pvsbin/why_arrays.bin /usr/lib/pvs/lib/why/pvsbin/why_int_array_pred.bin /usr/lib/pvs/lib/why/pvscontext.el /usr/lib/pvs/lib/why/top.out /usr/lib/pvs/lib/why/top.pvs /usr/lib/pvs/lib/why/why.prf /usr/lib/pvs/lib/why/why.pvs /usr/lib/pvs/lib/why/whyfloat.prf /usr/lib/pvs/lib/why/whyfloat.pvs
Generated by rpm2html 1.8.1
Fabrice Bellet, Mon May 20 07:38:10 2013