Fedora Packages

why3-emacs Subpackage of why3

Emacs support file for why3 files

This package contains an Emacs support file for working with why3 files.

Releases Overview

Release Stable Testing
Fedora Rawhide 1.6.0-6.fc40 -
Fedora 39 1.6.0-6.fc39 1.6.0-6.fc39
Fedora 38 1.5.1-7.fc38 -
Fedora 37 1.5.1-3.fc37 -
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