Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/component_scala.scala
changeset 82064 878a67422fb4
parent 81295 66c253421be4 
--- a/src/Pure/Admin/component_scala.scala	Mon Feb 03 12:19:42 2025 +0100
+++ b/src/Pure/Admin/component_scala.scala	Mon Feb 03 13:12:44 2025 +0100
@@ -34,11 +34,11 @@
   }
 
   val main_download: Download =
-    Download("scala", "3.3.4", base_version = "",
+    Download("scala", "3.3.5", base_version = "",
       url = "https://github.com/lampepfl/dotty/releases/download/{V}/scala3-{V}.tar.gz")
 
   val lib_downloads: List[Download] = List(
-    Download("scala-parallel-collections", "1.0.4",
+    Download("scala-parallel-collections", "1.2.0",
       "https://mvnrepository.com/artifact/org.scala-lang.modules/scala-parallel-collections_{B}/{V}",
       physical_url = "https://repo1.maven.org/maven2/org/scala-lang/modules/scala-parallel-collections_{B}/{V}/scala-parallel-collections_{B}-{V}.jar"),
     Download("scala-parser-combinators", "2.4.0",
isabelle