Fedora Packages

frama-c-emacs Subpackage of frama-c

Emacs support file for ACSL markup

This package contains an Emacs support file for working with C source files marked up with ACSL.

Releases Overview

Release Stable Testing
Fedora Rawhide 26.1-1.fc39 -
Fedora 38 26.1-1.fc38 -
Fedora 37 26.1-1.fc37 -
File a new bug report »
Package Info
Related Packages

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



Sources on Pagure