why-all - Complete Why software verification platform suite

Property Value
Distribution Fedora 26
Repository Fedora i386
Package name why-all
Package version 2.38
Package release 1.fc26
Package architecture i686
Package type rpm
Installed size unknown
Download size 17.04 KB
Official Mirror archives.fedoraproject.org
This package provides a complete software verification platform suite
based on Why, including various automated and interactive provers.


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


Name Value
alt-ergo -
why(x86-32) = 2.38-1.fc26
why-jessie(x86-32) = 2.38-1.fc26
why-pvs-support(x86-32) = 2.38-1.fc26
z3 -
zenon -


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


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

Install Howto

Install the why-all rpm package:

# dnf install why-all


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

See Also

Package Description
why-jessie-2.38-1.fc26.i686.rpm Interface between why and frama-c
why-pvs-support-2.38-1.fc26.i686.rpm Complete Why software verification platform suite
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