why-pvs-support-2.38-1.fc26.i686.rpm


Advertisement

Description

why-pvs-support - Complete Why software verification platform suite

Property Value
Distribution Fedora 26
Repository Fedora i386
Package name why-pvs-support
Package version 2.38
Package release 1.fc26
Package architecture i686
Package type rpm
Installed size 960.46 KB
Download size 124.34 KB
Official Mirror archives.fedoraproject.org
This package provides support definitions so that the Why software
verification platform suite can invoke PVS without licensing issues.

Alternatives

Package Version Architecture Repository
why-pvs-support-2.38-2.fc26.i686.rpm 2.38 i686 Fedora Updates
why-pvs-support-2.38-2.fc26.x86_64.rpm 2.38 x86_64 Fedora Updates
why-pvs-support-2.38-1.fc26.x86_64.rpm 2.38 x86_64 Fedora
why-pvs-support - - -

Requires

Name Value
pvs -
why(x86-32) = 2.38-1.fc26

Provides

Name Value
why-pvs-support = 2.38-1.fc26
why-pvs-support(x86-32) = 2.38-1.fc26

Download

Type URL
Binary Package why-pvs-support-2.38-1.fc26.i686.rpm
Source Package why-2.38-1.fc26.src.rpm

Install Howto

Install the why-pvs-support rpm package:

# dnf install why-pvs-support

Files

Path
/usr/bin/patch_jessie_pvs
/usr/lib/pvs/lib/ints/div.pvs
/usr/lib/pvs/lib/ints/rem.pvs
/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/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
/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

Changelog

See why-2.38-1.fc26.i686.rpm changelog.

See Also

Package Description
why3-0.87.3-3.fc26.i686.rpm Software verification platform
why3-all-0.87.3-3.fc26.i686.rpm Complete Why3 software verification platform suite
why3-emacs-0.87.3-3.fc26.noarch.rpm Emacs support file for why3 files
why3-examples-0.87.3-3.fc26.noarch.rpm Example inputs
why3-xemacs-0.87.3-3.fc26.noarch.rpm XEmacs support file for why3 files
whysynth-dssi-20120903-2.fc26.i686.rpm DSSI software synthesizer plugin
wicd-1.7.4-2.fc26.i686.rpm Wireless and wired network connection manager
wicd-common-1.7.4-2.fc26.noarch.rpm Wicd common files
wicd-curses-1.7.4-2.fc26.noarch.rpm Curses client for wicd
wicd-gtk-1.7.4-2.fc26.noarch.rpm GTK+ client for wicd
wicd-kde-0.3.1-10.fc26.i686.rpm A Wicd client built on the KDE Development Platform
wide-dhcpv6-20080615-13.1.fc26.3.i686.rpm DHCP Client and Server for IPv6
widelands-0-0.57.build18.fc26.i686.rpm Open source realtime-strategy game
wifi-radar-2.0.s10-4.fc26.noarch.rpm A utility for managing WiFi profiles
wiggle-1.0-5.fc24.i686.rpm A tool for applying patches with conflicts
Advertisement
Advertisement