Sophie: coq-8.3pl2-3.fc16 src

coq-8.3pl2-3.fc16.src.rpm

Info
Deps
Files
Scripts
ChangeLog
Location
Others versions
Analyse

[Desktop Entry]
Encoding=UTF-8
Name=CoqIDE
Comment=Examine and develop Coq .v files
Exec=coqide
Icon=ICON-LOCATION-BASE
Type=Application
Categories=Development;
MimeType=application/x-coq;