?package(matita):needs="X11" section="Applications/Science"\
  title="Matita" \
  longtitle="Matita interactive theorem prover" \
  command="/usr/bin/matita"