?package(matita):needs="X11" section="Applications/Mathematics"\
  title="Matita" \
  longtitle="Matita interactive theorem prover" \
  command="/usr/bin/matita" \
  icon="/usr/share/matita/icons/matita-32.xpm"