Sophie: why-2.31-6.fc18 src

why-2.31-6.fc18.src.rpm

Info
Deps
Files
Scripts
ChangeLog
Location
Others versions
Analyse

[Desktop Entry]
Encoding=UTF-8
Name=jessie
Comment=Verify C program using Jessie plug-in
Exec=frama-c -jessie %f
Icon=ICON-LOCATION-BASE/gwhy-icon.png
Type=Application
Categories=Development;