Sophie

• Search
• Distribution
• Explorer
• Source & Patches
• Chat
• Help
• About

distrib > Mageia > 6 > armv5tl > by-pkgid > e8d691ba87118628caccbbce605ebe02 > files > 1

frama-c-emacs-1.14-0.20161101Silicon.1.mga6.noarch.rpm

• Info
• Deps
• Files
• Scripts
• ChangeLog
• Location
• Others versions
• Analyse

(autoload 'acsl-mode "acsl" "Major mode for editing ACSL code" t)