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