--- a/Admin/components/main Sun Jul 22 14:15:04 2018 +0200
+++ b/Admin/components/main Sun Jul 22 19:28:18 2018 +0200
@@ -9,7 +9,7 @@
jedit_build-20180504
jfreechart-1.5.0
jortho-1.0-2
-kodkodi-1.5.2
+kodkodi-1.5.2-1
nunchaku-0.5
polyml-5.7.1-7
postgresql-42.2.2