Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM frama-c-emacs-29.0-6.fc41.noarch.rpm

ID	1363629
Name	frama-c-emacs
Version	29.0
Release	6.fc41
Epoch
Arch	noarch
Summary	Emacs support file for ACSL markup
Description	This package contains an Emacs support file for working with C source files marked up with ACSL.
Build Time	2024-07-25 13:24:27 GMT
Size	19.75 KB
SIGMD5	ebd24f5e11e8b0e99e69d9e6574f389b
License	LGPL-2.1-only
VCS	git:https://git.frama-c.com/pub/frama-c.git
Buildroot	f41-build-821775-152618
Provides	frama-c-emacs = 29.0-6.fc41
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	emacs(bin) frama-c = 29.0-6.fc41 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 Size /usr/share/emacs/site-lisp/acsl.el 7.40 KB /usr/share/emacs/site-lisp/acsl.elc 6.17 KB /usr/share/emacs/site-lisp/frama-c-dev.el 3.89 KB /usr/share/emacs/site-lisp/frama-c-dev.elc 1017.00 B /usr/share/emacs/site-lisp/frama-c-init.el 3.11 KB /usr/share/emacs/site-lisp/frama-c-init.elc 1.02 KB /usr/share/emacs/site-lisp/frama-c-recommended.el 5.19 KB /usr/share/emacs/site-lisp/frama-c-recommended.elc 1.12 KB /usr/share/emacs/site-lisp/site-start.d/acsl.el 66.00 B
Component of	No Buildroots