Fedora Packages

why3-all Subpackage of why3

Complete Why3 software verification platform suite

This package provides a complete software verification platform suite based on Why3, including various automated and interactive provers.

Releases Overview

Release Stable Testing
Fedora Rawhide 1.7.1-3.fc41 -
Fedora 40 1.7.1-2.fc40 -
Fedora 39 1.7.1-1.fc39 -
Fedora 38 1.5.1-8.fc38 -
File a new bug report »
Package Info
  • Upstream: https://why3.lri.fr/
  • License(s): LGPL-2.1-only WITH OCaml-LGPL-linking-exception
  • Maintainer: jjames

Related Packages

You can contact the maintainers of this package via email at why3 dash maintainers at fedoraproject dot org.



Sources on Pagure