debian/coqide.menu


1
2
3
4

?package(coqide):command="/usr/bin/coqide" \
  icon="/usr/share/pixmaps/coq.xpm" \
  needs="X11" \
  section="Apps/Math" title="CoqIde"