Admin/components/main
changeset 76537 cdbe20024038
parent 76535 f3ebb16b5785
child 76545 cee207c2ddec
--- a/Admin/components/main	Fri Nov 25 20:45:52 2022 +0100
+++ b/Admin/components/main	Fri Nov 25 21:58:40 2022 +0100
@@ -28,7 +28,7 @@
 polyml-test-bafe319bc3a6-1
 postgresql-42.5.0
 prismjs-1.29.0
-scala-3.2.0-2
+scala-3.2.1
 smbc-0.4.1
 spass-3.8ds-2
 sqlite-jdbc-3.36.0.3