SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

why-pvs-support rpm build for : Fedora 20. For other distributions click why-pvs-support.

Name : why-pvs-support
Version : 2.33 Vendor : Fedora Project
Release : 4.fc20 Date : 2013-08-20 20:15:16
Group : Applications/Engineering Source RPM : why-2.33-4.fc20.src.rpm
Size : 0.94 MB
Packager : Fedora Project
Summary : Complete Why software verification platform suite
Description :
This package provides support definitions so that the Why software
verification platform suite can invoke PVS without licensing issues.

RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/20/Everything/i386/os/Packages/w

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  why-pvs-support-2.33-4.fc20.i686.rpm
     Search for other platforms
why-pvs-support-2.33-4.fc20.sparc.rpm
why-pvs-support-2.33-4.fc20.alpha.rpm
why-pvs-support-2.33-4.fc20.ppc.rpm
why-pvs-support-2.33-4.fc20.ia64.rpm
why-pvs-support-2.33-4.fc20.s390.rpm

Provides :
why-pvs-support
why-pvs-support(x86-32)

Requires :
why(x86-32) = 2.33-4.fc20
rpmlib(PayloadIsXz) <= 5.2-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(CompressedFileNames) <= 3.0.4-1
/bin/sh
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
pvs


Content of RPM :
/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

 
ICM