← Back to branch summary

~jgross-h/coq/v8.5-packaging 

1
2
3
4
5
6
7
8

[Desktop Entry]
Name=CoqIDE Proof Assistant
Comment=Graphical interface for the Coq proof assistant
Exec=coqide
Type=Application
Categories=Development;Science;Math;IDE;GTK;
Terminal=false
Icon=coq