Fedora Packages

ocaml-why3-devel Subpackage of why3

Development files for using the ocaml-why3 library

This package contains development files needed to build applications that use the ocaml-why3 library.

Releases Overview

Release Stable Testing
Fedora Rawhide 1.7.2-9.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