Mon, 09 Dec 2019 13:15:41 UTC

Information for RPM frama-c-xemacs-el-1.10-24.fc22.noarch.rpm

ID6490308
Nameframa-c-xemacs-el
Version1.10
Release24.fc22
Epoch
Archnoarch
SummaryXEmacs source file for ACSL markup
DescriptionThis 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.
Build Time2015-06-22 22:51:08 GMT
Size15480
bdaef18ba2c265f7305208a46e6d2703
LicenseLGPLv2
Buildrootf22-build-3565014-495154
Provides
frama-c-xemacs-el = 1.10-24.fc22
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
frama-c-xemacs = 1.10-24.fc22
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 1 of 1
Name ascending sort Size
/usr/share/xemacs/site-packages/lisp/acsl.el7574
Component of No Buildroots