Remove extra resolver

No longer needed after scala/scala3#2343

Author: smarter

build.sbt

@@ -12,9 +12,6 @@ lazy val root = (project in file(".")).
     scalaBinaryVersion := "0.1",
     scalaOrganization := "ch.epfl.lamp",
 
-    // Needed because of https://github.com/sbt/sbt/issues/3012
-    resolvers += Resolver.typesafeIvyRepo("releases")
-
     // Enable Scala 2 compatibility mode.
     // This allows you to use Scala 2 features that have been removed
     // from Dotty, like procedure syntax, thus making it easier to test