Sat, 14 Dec 2019 15:42:23 UTC

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

ID5393014
Nameframa-c-xemacs-el
Version1.10
Release13.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 Time2014-08-16 15:13:55 GMT
Size14612
c944d8301fc34ec887346e196fbdf4fc
LicenseLGPLv2
Buildrootf22-build-2266393-411375
Provides
frama-c-xemacs-el = 1.10-13.fc22
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
frama-c-xemacs = 1.10-13.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