Admin/components/main
changeset 64442 85adb337e32f
parent 64424 9ee2480d10b7
child 64443 857acb970dfa
--- a/Admin/components/main	Thu Nov 03 08:10:56 2016 +0100
+++ b/Admin/components/main	Thu Nov 03 17:51:10 2016 +0100
@@ -10,7 +10,7 @@
 jortho-1.0-2
 kodkodi-1.5.2
 polyml-5.6-1
-scala-2.11.8
+scala-2.12.0
 ssh-java-20161009
 spass-3.8ds
 sqlite-jdbc-3.8.11.2