Upgraded Scala. [distro]

sireum · Jan 15, 2025 · e123f3b · e123f3b
1 parent 4b7aa33
commit e123f3b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/runtime b/runtime
diff --git a/versions.properties b/versions.properties
@@ -13,7 +13,7 @@ org.kohsuke%github-api%=1.326
 com.zaxxer%nuprocess%=3.0.0
 com.lihaoyi%%os-lib%=0.11.3
 org.sireum%presentasi-jfx%=4.20220922.aaef404
-org.scala-lang%scala-library%=2.13.15
+org.scala-lang%scala-library%=2.13.16
 org.scalameta%%scalafmt-cli%=3.8.4
 org.scalameta%%scalameta%%=4.12.5
 org.scalatest%%scalatest%%=3.2.19