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-10.fc42 -
Fedora 41 1.7.2-8.fc41 -
Fedora 40 1.7.2-1.fc40 -
Fedora 39 1.7.2-1.fc39 -
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