Sophie

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

distrib > Fedora > 13 > x86_64 > media > updates > by-pkgid > 3827459ce810f828b923f0c8afd64390 > files > 183

frama-c-1.5-1.fc13.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.16