--- a/Admin/components/main Tue Aug 18 18:23:17 2020 +0200
+++ b/Admin/components/main Wed Aug 19 13:29:53 2020 +0200
@@ -9,7 +9,7 @@
jedit_build-20200610
jfreechart-1.5.0
jortho-1.0-2
-kodkodi-1.5.3
+kodkodi-1.5.4
nunchaku-0.5
opam-2.0.6
polyml-test-f54aa41240d0