?package(coq):command="/usr/bin/coqtop" \
  icon="/usr/share/pixmaps/coq.xpm" \
  needs="text" \
  section="Apps/Math" title="Coq"
