src/Pure/Admin/component_scala.scala
changeset 79753 a66588206ec5
parent 78125 96e2c2bbacbd
child 80063 588ea80f16bb
equal deleted inserted replaced
79752:788f11af9822 79753:a66588206ec5
    32       "  * " + name + " " + version + if_proper(base_version, " for Scala " + base_version) +
    32       "  * " + name + " " + version + if_proper(base_version, " for Scala " + base_version) +
    33         ":\n    " + make_url(url)
    33         ":\n    " + make_url(url)
    34   }
    34   }
    35 
    35 
    36   val main_download: Download =
    36   val main_download: Download =
    37     Download("scala", "3.3.0", base_version = "",
    37     Download("scala", "3.3.3", base_version = "",
    38       url = "https://github.com/lampepfl/dotty/releases/download/{V}/scala3-{V}.tar.gz")
    38       url = "https://github.com/lampepfl/dotty/releases/download/{V}/scala3-{V}.tar.gz")
    39 
    39 
    40   val lib_downloads: List[Download] = List(
    40   val lib_downloads: List[Download] = List(
    41     Download("scala-parallel-collections", "1.0.4",
    41     Download("scala-parallel-collections", "1.0.4",
    42       "https://mvnrepository.com/artifact/org.scala-lang.modules/scala-parallel-collections_{B}/{V}",
    42       "https://mvnrepository.com/artifact/org.scala-lang.modules/scala-parallel-collections_{B}/{V}",
    45       "https://mvnrepository.com/artifact/org.scala-lang.modules/scala-parser-combinators_{B}/{V}",
    45       "https://mvnrepository.com/artifact/org.scala-lang.modules/scala-parser-combinators_{B}/{V}",
    46       physical_url = "https://repo1.maven.org/maven2/org/scala-lang/modules/scala-parser-combinators_{B}/{V}/scala-parser-combinators_{B}-{V}.jar"),
    46       physical_url = "https://repo1.maven.org/maven2/org/scala-lang/modules/scala-parser-combinators_{B}/{V}/scala-parser-combinators_{B}-{V}.jar"),
    47     Download("scala-swing", "3.0.0",
    47     Download("scala-swing", "3.0.0",
    48       "https://mvnrepository.com/artifact/org.scala-lang.modules/scala-swing_{B}/{V}",
    48       "https://mvnrepository.com/artifact/org.scala-lang.modules/scala-swing_{B}/{V}",
    49       physical_url = "https://repo1.maven.org/maven2/org/scala-lang/modules/scala-swing_{B}/{V}/scala-swing_{B}-{V}.jar"),
    49       physical_url = "https://repo1.maven.org/maven2/org/scala-lang/modules/scala-swing_{B}/{V}/scala-swing_{B}-{V}.jar"),
    50     Download("scala-xml", "2.1.0",
    50     Download("scala-xml", "2.2.0",
    51       "https://mvnrepository.com/artifact/org.scala-lang.modules/scala-xml_{B}/{V}",
    51       "https://mvnrepository.com/artifact/org.scala-lang.modules/scala-xml_{B}/{V}",
    52       physical_url = "https://repo1.maven.org/maven2/org/scala-lang/modules/scala-xml_{B}/{V}/scala-xml_{B}-{V}.jar")
    52       physical_url = "https://repo1.maven.org/maven2/org/scala-lang/modules/scala-xml_{B}/{V}/scala-xml_{B}-{V}.jar")
    53   )
    53   )
    54 
    54 
    55 
    55