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