--- a/Admin/components/main Tue Aug 25 14:54:41 2020 +0200
+++ b/Admin/components/main Tue Aug 25 14:55:33 2020 +0200
@@ -9,7 +9,7 @@
jedit_build-20200610
jfreechart-1.5.0
jortho-1.0-2
-kodkodi-1.5.5
+kodkodi-1.5.6
nunchaku-0.5
opam-2.0.6
polyml-test-f54aa41240d0