Admin/components/main
changeset 76327 f70b015e4ac1
parent 76275 b446004b2464
child 76331 bc4f902d2b0d
--- a/Admin/components/main	Mon Oct 17 20:18:05 2022 +0200
+++ b/Admin/components/main	Mon Oct 17 20:24:15 2022 +0200
@@ -22,7 +22,7 @@
 pdfjs-2.14.305
 polyml-test-bafe319bc3a6-1
 postgresql-42.5.0
-scala-3.2.0
+scala-3.2.0-1
 smbc-0.4.1
 spass-3.8ds-2
 sqlite-jdbc-3.36.0.3