SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : why-pvs-support
Version : 2.31 Vendor : Fedora Project
Release : 3.fc18 Date : 2012-09-12 00:57:29
Group : Applications/Engineering Source RPM : why-2.31-3.fc18.src.rpm
Size : 0.91 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/18/Everything/x86_64/os/Packages/w

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  why-pvs-support-2.31-3.fc18.x86_64.rpm
     

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

Requires :
rpmlib(PayloadIsXz) <= 5.2-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(CompressedFileNames) <= 3.0.4-1
/bin/sh
why(x86-64) = 2.31-3.fc18
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
pvs


Content of RPM :
/usr/bin/patch_jessie_pvs
/usr/lib64/pvs/lib/ints
/usr/lib64/pvs/lib/ints/div.pvs
/usr/lib64/pvs/lib/ints/rem.pvs
/usr/lib64/pvs/lib/why
/usr/lib64/pvs/lib/why/.pvscontext
/usr/lib64/pvs/lib/why/jessie.prf
/usr/lib64/pvs/lib/why/jessie.pvs
/usr/lib64/pvs/lib/why/pvsbin
/usr/lib64/pvs/lib/why/pvsbin/why_array_pred.bin
/usr/lib64/pvs/lib/why/pvsbin/why_arrays.bin
/usr/lib64/pvs/lib/why/pvsbin/why_int_array_pred.bin
/usr/lib64/pvs/lib/why/pvscontext.el
/usr/lib64/pvs/lib/why/top.out
/usr/lib64/pvs/lib/why/top.pvs
/usr/lib64/pvs/lib/why/why.prf
/usr/lib64/pvs/lib/why/why.pvs
/usr/lib64/pvs/lib/why/whyfloat.prf
/usr/lib64/pvs/lib/why/whyfloat.pvs

 
ICM