why3-all - Complete Why3 software verification platform suite

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


Package Version Architecture Repository
why3-all-0.87.3-3.fc26.x86_64.rpm 0.87.3 x86_64 Fedora
why3-all - - -


Name Value
E -
alt-ergo -
coq -
cvc4 -
gappalib-coq -
why3(x86-32) = 0.87.3-3.fc26
z3 -
zenon -


Name Value
why3-all = 0.87.3-3.fc26
why3-all(x86-32) = 0.87.3-3.fc26


Type URL
Binary Package why3-all-0.87.3-3.fc26.i686.rpm
Source Package why3-0.87.3-3.fc26.src.rpm

Install Howto

Install the why3-all rpm package:

# dnf install why3-all


See why3-0.87.3-3.fc26.i686.rpm changelog.

See Also

Package Description
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
wiiuse-0.15.0-0.3.gite7fcdf8.fc26.i686.rpm The wiiuse library is used to access and control multiple Nintendo Wiimotes
wiiuse-devel-0.15.0-0.3.gite7fcdf8.fc26.i686.rpm Developer tools for the wiiuse library