why-all - Complete Why software verification platform suite

Property Value
Distribution Fedora 31
Repository Fedora x86_64
Package filename why-all-2.41-6.fc31.x86_64.rpm
Package name why-all
Package version 2.41
Package release 6.fc31
Package architecture x86_64
Package type rpm
Homepage http://why.lri.fr/
License LGPLv2 with exceptions
Maintainer -
Download size 7.85 KB
Installed size unknown
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.41-8.fc31.x86_64.rpm 2.41 x86_64 Fedora Updates
why-all-2.41-6.fc31.x86_64.rpm 2.41 x86_64 Fedora Updates Testing
why-all - - -


Name Value
alt-ergo -
why(x86-64) = 2.41-6.fc31
why-jessie(x86-64) = 2.41-6.fc31
why-pvs-support(x86-64) = 2.41-6.fc31
yices -
z3 -
zenon -


Name Value
why-all = 2.41-6.fc31
why-all(x86-64) = 2.41-6.fc31


Type URL
Mirror download-ib01.fedoraproject.org
Binary Package why-all-2.41-6.fc31.x86_64.rpm
Source Package why-2.41-6.fc31.src.rpm

Install Howto

Install why-all rpm package:

# dnf install why-all


2019-09-23 - Jerry James <loganjerry@gmail.com> - 2.41-6
- Rebuild for frama-c 19.1
2019-09-06 - Jerry James <loganjerry@gmail.com> - 2.41-5
- Rebuild for ocaml-zarith 1.9
2019-08-02 - Jerry James <loganjerry@gmail.com> - 2.41-4
- Rebuild for frama-c 19.0
2019-07-27 - Fedora Release Engineering <releng@fedoraproject.org> - 2.41-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
2019-06-05 - Jerry James <loganjerry@gmail.com> - 2.41-3
- Rebuild for coq 8.9.1, why3 1.2.0, and frama-c 18.0
2019-02-03 - Fedora Release Engineering <releng@fedoraproject.org> - 2.41-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
2019-01-26 - Jerry James <loganjerry@gmail.com> - 2.41-1
- New upstream release
- All patches have been upstreamed; drop them all
2018-07-14 - Fedora Release Engineering <releng@fedoraproject.org> - 2.40-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
2018-02-12 - Jerry James <loganjerry@gmail.com> - 2.40-1
- New upstream release
- Add -num patch to fix incomplete num to zarith conversion
2018-02-09 - Fedora Release Engineering <releng@fedoraproject.org> - 2.39-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild

See Also

Package Description
why-jessie-2.41-6.fc31.x86_64.rpm Interface between why and frama-c
why-pvs-support-2.41-6.fc31.x86_64.rpm Complete Why software verification platform suite
why3-1.2.0-5.fc31.x86_64.rpm Software verification platform
why3-all-1.2.0-5.fc31.x86_64.rpm Complete Why3 software verification platform suite
why3-emacs-1.2.0-5.fc31.noarch.rpm Emacs support file for why3 files
why3-examples-1.2.0-5.fc31.noarch.rpm Example inputs
why3-xemacs-1.2.0-5.fc31.noarch.rpm XEmacs support file for why3 files
whysynth-dssi-20120903-9.fc31.x86_64.rpm DSSI software synthesizer plugin
wicd-kde-0.3.1-16.fc31.x86_64.rpm A Wicd client built on the KDE Development Platform
wide-dhcpv6-20080615-13.1.fc31.9.x86_64.rpm DHCP Client and Server for IPv6
widelands-0-0.72.build20.fc31.x86_64.rpm Open source realtime-strategy game
wifi-radar-2.0.s10-11.fc31.noarch.rpm A utility for managing WiFi profiles
wiggle-1.1-4.fc31.x86_64.rpm A tool for applying patches with conflicts
wiiuse-0.15.4-3.fc31.i686.rpm The wiiuse library is used to access and control multiple Nintendo Wiimotes
wiiuse-0.15.4-3.fc31.x86_64.rpm The wiiuse library is used to access and control multiple Nintendo Wiimotes