Sophie

Sophie

distrib > Mageia > 5 > x86_64 > media > core-release > by-pkgid > 5e64f2cdeefbf678eddef724c68c98e4

frama-c-emacs-1.10-0.20140301Neons.4.mga5.noarch.rpm

Description:

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

Sources packages:

Other version of this rpm: