debian/coq.desktop


1
2
3
4
5
6
7

[Desktop Entry]
Name=Coq
Comment=Proof Assistant
Exec=/usr/bin/coqide
Type=Application
Terminal=0
Icon=/usr/share/pixmaps/coq.xpm