--- a/Admin/components/main Mon Aug 17 16:26:58 2020 +0200
+++ b/Admin/components/main Tue Aug 18 17:58:35 2020 +0200
@@ -9,7 +9,7 @@
jedit_build-20200610
jfreechart-1.5.0
jortho-1.0-2
-kodkodi-1.5.2-1
+kodkodi-1.5.3
nunchaku-0.5
opam-2.0.6
polyml-test-f54aa41240d0