--- a/Admin/components/main Thu Aug 20 14:22:49 2020 +0200
+++ b/Admin/components/main Thu Aug 20 15:45:22 2020 +0200
@@ -9,7 +9,7 @@
jedit_build-20200610
jfreechart-1.5.0
jortho-1.0-2
-kodkodi-1.5.4
+kodkodi-1.5.4-1
nunchaku-0.5
opam-2.0.6
polyml-test-f54aa41240d0