- Name: frama-c-xemacs-el
- Version: 1.10
- Release: 5.fc20
- Epoch:
- Group: Development/Languages
- License: LGPLv2
- Url: http://frama-c.com/
- Summary: XEmacs source file for ACSL markup
- Architecture: noarch
- Size: 7574
- Distribution: Fedora Project
- Vendor: Fedora Project
- Packager: Fedora Project
Description:
This package contains the XEmacs source file for working with C source
files marked up with ACSL. This package is not needed to use the XEmacs
support.
- OptFlags: -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -march=armv7-a -mfpu=vfpv3-d16 -mfloat-abi=hard
- Cookie:
- Buildhost: arm04-builder06.arm.fedoraproject.org
Sources packages:
Other version of this rpm: