# HG changeset patch
# User wenzelm
# Date 1597931122 -7200
# Node ID f422efa3cca0aeabe7b6b882ad3962a090586b4b
# Parent  0841895ca438cc4b73576ef47493d7fd802d3058
update to kodkodi-1.5.4-1;

diff -r 0841895ca438 -r f422efa3cca0 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Thu Aug 20 14:22:49 2020 +0200
+++ b/Admin/components/components.sha1	Thu Aug 20 15:45:22 2020 +0200
@@ -181,6 +181,7 @@
 afb04f4048a87bb888fe7b05b0139cb060c7925b  kodkodi-1.5.2-1.tar.gz
 5f95c96bb99927f3a026050f85bd056f37a9189e  kodkodi-1.5.2.tar.gz
 0634a946b216f7f07f1a0f7e28cf345daa28828f  kodkodi-1.5.3.tar.gz
+52e95b3493d71902f9df89d0bb59d0046a5f0c63  kodkodi-1.5.4-1.tar.gz
 267189c637de26cf304d699cfa95389da002b250  kodkodi-1.5.4.tar.gz
 377e36efb8608e6c828c7718d890e97fde2006a4  linux_app-20131007.tar.gz
 759848095e2ad506083d92b5646947e3c32f27a0  linux_app-20191223.tar.gz
diff -r 0841895ca438 -r f422efa3cca0 Admin/components/main
--- 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