why-all-2.40-1.fc28.x86_64.rpm


Advertisement

Description

why-all - Complete Why software verification platform suite

Property Value
Distribution Fedora 29
Repository Fedora x86_64
Package filename why-all-2.40-1.fc28.x86_64.rpm
Package name why-all
Package version 2.40
Package release 1.fc28
Package architecture x86_64
Package type rpm
Homepage http://why.lri.fr/
License LGPLv2 with exceptions
Maintainer -
Download size 18.61 KB
Installed size unknown
This package provides a complete software verification platform suite
based on Why, including various automated and interactive provers.

Alternatives

Package Version Architecture Repository
why-all-2.40-1.fc28.i686.rpm 2.40 i686 Fedora
why-all - - -

Requires

Name Value
alt-ergo -
why(x86-64) = 2.40-1.fc28
why-jessie(x86-64) = 2.40-1.fc28
why-pvs-support(x86-64) = 2.40-1.fc28
yices -
z3 -
zenon -

Provides

Name Value
why-all = 2.40-1.fc28
why-all(x86-64) = 2.40-1.fc28

Download

Type URL
Mirror download-ib01.fedoraproject.org
Binary Package why-all-2.40-1.fc28.x86_64.rpm
Source Package why-2.40-1.fc28.src.rpm

Install Howto

Install why-all rpm package:

# dnf install why-all

Changelog

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
2018-01-18 - Igor Gnatenko <ignatenkobrain@fedoraproject.org> - 2.39-4
- Remove obsolete scriptlets
2017-12-09 - Jerry James <loganjerry@gmail.com> - 2.39-3
- Bring back the -project patch, still needed (bz 1520483)
- Add the -safe-string patch for building with ocaml 4.06.0
- Build the Jessie plugin with -runtime-variant _pic
2017-12-02 - Richard W.M. Jones <rjones@redhat.com> - 2.39-3
- OCaml 4.06.0 rebuild.
2017-10-07 - Jerry James <loganjerry@gmail.com> - 2.39-2
- Rebuild for why3 0.88.0
2017-09-07 - Jerry James <loganjerry@gmail.com> - 2.39-1
- New upstream release
2017-09-06 - Richard W.M. Jones <rjones@redhat.com> - 2.38-6
- OCaml 4.05.0 rebuild.
2017-08-03 - Fedora Release Engineering <releng@fedoraproject.org> - 2.38-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
2017-07-27 - Fedora Release Engineering <releng@fedoraproject.org> - 2.38-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild

See Also

Package Description
why-jessie-2.40-1.fc28.x86_64.rpm Interface between why and frama-c
why-pvs-support-2.40-1.fc28.x86_64.rpm Complete Why software verification platform suite
why3-0.88.3-1.fc28.x86_64.rpm Software verification platform
why3-all-0.88.3-1.fc28.x86_64.rpm Complete Why3 software verification platform suite
why3-emacs-0.88.3-1.fc28.noarch.rpm Emacs support file for why3 files
why3-examples-0.88.3-1.fc28.noarch.rpm Example inputs
why3-xemacs-0.88.3-1.fc28.noarch.rpm XEmacs support file for why3 files
whysynth-dssi-20120903-7.fc29.x86_64.rpm DSSI software synthesizer plugin
wicd-1.7.4-9.fc29.x86_64.rpm Wireless and wired network connection manager
wicd-common-1.7.4-9.fc29.noarch.rpm Wicd common files
wicd-curses-1.7.4-9.fc29.noarch.rpm Curses client for wicd
wicd-gtk-1.7.4-9.fc29.noarch.rpm GTK+ client for wicd
wicd-kde-0.3.1-14.fc29.x86_64.rpm A Wicd client built on the KDE Development Platform
wide-dhcpv6-20080615-13.1.fc29.7.x86_64.rpm DHCP Client and Server for IPv6
widelands-0-0.67.build19.fc29.x86_64.rpm Open source realtime-strategy game
Advertisement
Advertisement