changeset 66636 | 6585669c33dc |
parent 66493 | c94c55cc8d86 |
child 66685 | 1b397be63e68 |
--- a/Admin/components/main Fri Sep 08 00:03:06 2017 +0200 +++ b/Admin/components/main Fri Sep 08 00:58:08 2017 +0200 @@ -9,10 +9,11 @@ jfreechart-1.0.14-1 jortho-1.0-2 kodkodi-1.5.2 -nunchaku-0.3 +nunchaku-0.5 polyml-5.6-1 postgresql-42.1.4 scala-2.12.3 +smbc-0.4.1 ssh-java-20161009 spass-3.8ds sqlite-jdbc-3.20.0