Admin/components/main
changeset 77108 4f68b165d69e
parent 77047 39f8051f71d4
child 77193 014c3d00e0f1
--- a/Admin/components/main	Fri Jan 27 13:57:52 2023 +0000
+++ b/Admin/components/main	Fri Jan 27 15:22:26 2023 +0100
@@ -28,7 +28,7 @@
 polyml-test-bafe319bc3a6-1
 postgresql-42.5.0
 prismjs-1.29.0
-scala-3.2.1
+scala-3.2.0-2
 smbc-0.4.1
 spass-3.8ds-2
 sqlite-jdbc-3.39.4.1