Sophie

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

distrib > Mageia > 5 > x86_64 > media > core-release > by-pkgid > f6ea24dce6ddfdd55b1d7d8c26edf82b > files > 221

frama-c-1.10-0.20140301Neons.4.mga5.x86_64.rpm

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

[Desktop Entry]
Name=Frama-C
GenericName=Frama C
Exec=frama-c-gui
Icon=gnome-gmush
Terminal=false
Type=Application
Categories=Development;

X-Desktop-File-Install-Version=0.22