[Desktop Entry]
Encoding=UTF-8
Comment=Coq integrated developpment environment
Icon=/usr/lib/coq/ide/coq.png
Exec=/usr/bin/coqide
Name=CoqIDE
GenericName=Coq IDE
Terminal=false
Type=Application
Categories=Application;Edutainment;Mathematics;