diff -r 2d089ff0e03b -r 74a36aae067a Admin/components/main
--- a/Admin/components/main	Thu Oct 07 14:02:18 2021 +0200
+++ b/Admin/components/main	Thu Oct 07 20:53:24 2021 +0200
@@ -13,7 +13,7 @@
 jedit-20210802
 jfreechart-1.5.3
 jortho-1.0-2
-kodkodi-1.5.6-1
+kodkodi-1.5.7
 minisat-2.2.1
 nunchaku-0.5
 opam-2.0.7