src/Pure/Admin/build_scala.scala
changeset 75645 6cb76a8adc06
parent 75421 3c710067b178
child 76176 d6bd84eb94a3
equal deleted inserted replaced
75644:3fad59705ab7 75645:6cb76a8adc06
    41         (if (base_version.nonEmpty) " for Scala " + base_version else "") +
    41         (if (base_version.nonEmpty) " for Scala " + base_version else "") +
    42         ":\n    " + make_url(url)
    42         ":\n    " + make_url(url)
    43   }
    43   }
    44 
    44 
    45   val main_download: Download =
    45   val main_download: Download =
    46     Download("scala", "3.1.1", base_version = "",
    46     Download("scala", "3.1.3", base_version = "",
    47       url = "https://github.com/lampepfl/dotty/releases/download/{V}/scala3-{V}.tar.gz")
    47       url = "https://github.com/lampepfl/dotty/releases/download/{V}/scala3-{V}.tar.gz")
    48 
    48 
    49   val lib_downloads: List[Download] = List(
    49   val lib_downloads: List[Download] = List(
    50     Download("scala-parallel-collections", "1.0.4",
    50     Download("scala-parallel-collections", "1.0.4",
    51       "https://mvnrepository.com/artifact/org.scala-lang.modules/scala-parallel-collections_{B}/{V}",
    51       "https://mvnrepository.com/artifact/org.scala-lang.modules/scala-parallel-collections_{B}/{V}",