Admin/components/main
changeset 67010 cf56dd6f3ad1
parent 67009 b68592732783
child 67017 ce6454669360
--- a/Admin/components/main	Sun Nov 05 12:13:27 2017 +0100
+++ b/Admin/components/main	Sun Nov 05 14:35:43 2017 +0100
@@ -12,7 +12,7 @@
 nunchaku-0.5
 polyml-test-79534495ee94
 postgresql-42.1.4
-scala-2.12.3
+scala-2.12.4
 smbc-0.4.1
 ssh-java-20161009
 spass-3.8ds