Sophie: frama-c-emacs-el-1.7-1.fc16 noarch

Sophie

Sophie

distrib > Fedora > 16 > x86_64 > by-pkgid > de466452e4fa1abac8db3f9e2d828201

frama-c-emacs-el-1.7-1.fc16.noarch.rpm

Name: frama-c-emacs-el
Version: 1.7
Release: 1.fc16
Epoch:
Group: Development/Languages
License: LGPLv2
Url: http://frama-c.com/
Summary: Emacs source file for ACSL markup

Architecture: noarch
Size: 7546
Distribution: Fedora Project
Vendor: Fedora Project
Packager: Fedora Project

Description:

This package contains the Emacs source file for working with C source
files marked up with ACSL. This package is not needed to use the Emacs
support.

OptFlags: -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic
Cookie:
Buildhost: x86-16.phx2.fedoraproject.org

Sources packages:

frama-c-1.7-1.fc16

Other version of this rpm:

:: :: ::