debian/coqide.desktop - coq (debian/8.4_beta+dfsg-1)

Tree @debian/8.4_beta+dfsg-1 (Download .tar.gz)

..
patches
source
changelog
compat
control
copyright
coq-theories.dirs
coq-theories.doc-base
coq-theories.install.in
coq-theories.links
coq.emacsen-install
coq.emacsen-remove
coq.emacsen-startup
coq.install.in
coq.links.in
coq.menu
coq.xpm
coqide.1
coqide.desktop
coqide.dirs
coqide.install
coqide.links.in
coqide.menu
coqvars.mk.in
docs
gbp.conf
libcoq-ocaml-dev.install.in
libcoq-ocaml.install.in
NEWS
purify_tarball
README.Debian
README.source
rules
TODO.Debian
watch

coqide.desktop @debian/8.4_beta+dfsg-1 — raw · history · blame

[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