Fedora Packages

ocaml-why3 Subpackage of why3

Software verification library for ocaml

This package contains an ocaml library that exposes the functionality of why3 to applications.

Releases Overview

Release Stable Testing
Fedora Rawhide 1.7.2-1.fc41 -
Fedora 40 1.7.1-2.fc40 1.7.2-1.fc40
Fedora 39 1.7.1-1.fc39 1.7.2-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