Fedora Packages

why3-examples Subpackage of why3

Example inputs

Example source code with why3 annotations.

Releases Overview

Release Stable Testing
Fedora Rawhide 1.8.2-15.fc46 -
Fedora 45 1.8.2-15.fc45 1.8.2-15.fc45
Fedora 44 1.8.2-11.fc44 1.8.2-9.fc44
Fedora 43 1.8.2-1.fc43 1.8.2-1.fc43
File a new bug report »
Package Info
  • Upstream: https://www.why3.org/
  • 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