[Desktop Entry]
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=Science;Math;