?package(hol-light):needs="text" section="Applications/Science/Mathematics"\
  title="HOL Light" command="/usr/bin/hol-light"
