Admin/components/main
changeset 76331 bc4f902d2b0d
parent 76327 f70b015e4ac1
child 76345 ea79c21bcc47
--- a/Admin/components/main	Mon Oct 17 22:39:44 2022 +0200
+++ b/Admin/components/main	Mon Oct 17 23:30:31 2022 +0200
@@ -22,7 +22,7 @@
 pdfjs-2.14.305
 polyml-test-bafe319bc3a6-1
 postgresql-42.5.0
-scala-3.2.0-1
+scala-3.2.0-2
 smbc-0.4.1
 spass-3.8ds-2
 sqlite-jdbc-3.36.0.3