In addition to the official Scala downloads from this website, scala-lang.org, another important repository from which Scala can be downloaded is scala-tools.org[647], and other Maven mirrors. Those downloads are not included in the above summary.