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