addSbtPlugin("ch.epfl.lamp" % "sbt-dotty" % "0.4.6")
addSbtPlugin("com.eed3si9n" % "sbt-assembly" % "0.15.0")