sci-mathematics/coq/files/coqide.desktop


1
2
3
4
5
6
7
8
9
10

[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;