changeset 80063 | 588ea80f16bb |
parent 79753 | a66588206ec5 |
child 80181 | aa92c0f96036 |
--- a/src/Pure/Admin/component_scala.scala Mon Apr 01 14:36:28 2024 +0200 +++ b/src/Pure/Admin/component_scala.scala Mon Apr 01 15:09:30 2024 +0200 @@ -34,7 +34,7 @@ } val main_download: Download = - Download("scala", "3.3.3", base_version = "", + Download("scala", "3.4.1", base_version = "", url = "https://github.com/lampepfl/dotty/releases/download/{V}/scala3-{V}.tar.gz") val lib_downloads: List[Download] = List(