Fedora Packages

why3-xemacs Subpackage of why3

XEmacs support file for why3 files

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

Releases Overview

Release Stable Testing
Fedora 35 1.4.0-3.fc35 -
Fedora 34 1.3.3-7.fc34 -
Package Info
Related Packages

You can contact the maintainers of this package via email at why3 dash maintainers at fedoraproject dot org.



Sources on Pagure