# 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(