Thu, 24 Oct 2019 05:47:47 UTC

Information for RPM frama-c-emacs-19.0-2.fc31.noarch.rpm

ID18547033
Nameframa-c-emacs
Version19.0
Release2.fc31
Epoch
Archnoarch
SummaryEmacs support file for ACSL markup
DescriptionThis package contains an Emacs support file for working with C source files marked up with ACSL.
Build Time2019-08-02 18:27:20 GMT
Size17898
e29bd2b436b1a1c5b5f0ef93fc928bea
LicenseLGPLv2
Buildrootf31-build-17123347-1229325
Provides
frama-c-emacs = 19.0-2.fc31
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
emacs(bin)
frama-c = 19.0-2.fc31
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 9 of 9
Name ascending sort Size
/usr/share/emacs/site-lisp/acsl.el7574
/usr/share/emacs/site-lisp/acsl.elc6747
/usr/share/emacs/site-lisp/frama-c-dev.el3980
/usr/share/emacs/site-lisp/frama-c-dev.elc1344
/usr/share/emacs/site-lisp/frama-c-init.el3187
/usr/share/emacs/site-lisp/frama-c-init.elc1390
/usr/share/emacs/site-lisp/frama-c-recommended.el5313
/usr/share/emacs/site-lisp/frama-c-recommended.elc1476
/usr/share/emacs/site-lisp/site-start.d/acsl.el66
Component of No Buildroots