Admin/components/main
changeset 64460 e84fb8b4245c
parent 64458 82e8fd850467
child 64469 488d4e627238
--- a/Admin/components/main	Fri Nov 04 11:37:24 2016 +0100
+++ b/Admin/components/main	Fri Nov 04 13:27:31 2016 +0100
@@ -10,7 +10,7 @@
 jortho-1.0-2
 kodkodi-1.5.2
 polyml-5.6-1
-scala-2.12.0
+scala-2.11.8
 ssh-java-20161009
 spass-3.8ds
 sqlite-jdbc-3.8.11.2