Admin/components/main
changeset 75384 20093a63d03b
parent 75338 73034d385688
child 75654 21164fd15e3d
--- a/Admin/components/main	Fri Apr 01 10:55:32 2022 +0200
+++ b/Admin/components/main	Fri Apr 01 11:18:03 2022 +0200
@@ -21,7 +21,7 @@
 pdfjs-2.12.313
 polyml-test-15c840d48c9a
 postgresql-42.2.24
-scala-2.13.5
+scala-2.13.5-1
 smbc-0.4.1
 spass-3.8ds-2
 sqlite-jdbc-3.36.0.3