Package : frama-c-emacs

Package details

Summary: Emacs support file for ACSL markup

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



Maintainer: nobody

List of RPMs

    No RPM found for frama-c-emacs using the current filters, try other values.