# HG changeset patch # User wenzelm # Date 1656700076 -7200 # Node ID 6cb76a8adc06ab978d5e953aa416fa1d80a5fb48 # Parent 3fad59705ab7257c8febdc87ad4ce924de6d6a19 updated download version; diff -r 3fad59705ab7 -r 6cb76a8adc06 src/Pure/Admin/build_scala.scala --- a/src/Pure/Admin/build_scala.scala Fri Jul 01 19:58:38 2022 +0200 +++ b/src/Pure/Admin/build_scala.scala Fri Jul 01 20:27:56 2022 +0200 @@ -43,7 +43,7 @@ } val main_download: Download = - Download("scala", "3.1.1", base_version = "", + Download("scala", "3.1.3", base_version = "", url = "https://github.com/lampepfl/dotty/releases/download/{V}/scala3-{V}.tar.gz") val lib_downloads: List[Download] = List(