Admin/components/main
changeset 66415 96ad7d5ff613
parent 66413 98afae4308f5
child 66470 33aa9abd71cb
--- a/Admin/components/main	Mon Aug 14 14:41:22 2017 +0200
+++ b/Admin/components/main	Mon Aug 14 15:30:26 2017 +0200
@@ -12,7 +12,7 @@
 nunchaku-0.3
 polyml-5.6-1
 postgresql-42.1.1
-scala-2.12.2
+scala-2.12.3
 ssh-java-20161009
 spass-3.8ds
 sqlite-jdbc-3.18.0-1