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.
URL: http://frama-c.com/
License: LGPLv2
Maintainer: nobody
Description:
This package contains an Emacs support file for working with C source
files marked up with ACSL.
URL: http://frama-c.com/
License: LGPLv2
Maintainer: nobody
List of RPMs
- frama-c-emacs-1.9-0.20130601Fluorine.2.mga4.noarch.rpm (Mageia 4, i586 media, core-release) Install