The dotty version should not be hardcoded. I think this should work: ```scala "ch.epfl.lamp" %% "dotty" % scalaVersion.value, ``` _Originally posted by @allanrenucci in https://github.com/lampepfl/dotty/pull/6017_