Sophie

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

distrib > Fedora > 13 > i386 > media > updates-src > by-pkgid > 01f1e3296e61953c2812e5ece5342632 > files > 3

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