Blob Blame History Raw
[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;