1 files changed, 7 insertions, 0 deletions
diff --git a/debian/coq.desktop b/debian/coq.desktop
new file mode 100644
index 00000000..af2698ec
--- /dev/null
+++ b/debian/coq.desktop
@@ -0,0 +1,7 @@
+[Desktop Entry]
+Name=Coq
+Comment=Proof Assistant
+Exec=/usr/bin/coqide
+Type=Application
+Terminal=0
+Icon=/usr/share/pixmaps/coq.xpm