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