Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated to kodkodi-1.5.6: more robust treatment of interrupt;
authorwenzelm
Tue, 25 Aug 2020 14:55:33 +0200
changeset 72206 8ee5743a8b36
parent 72205 bc71db05abe3
child 72207 b2f6fdff21fa
updated to kodkodi-1.5.6: more robust treatment of interrupt;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Tue Aug 25 14:54:41 2020 +0200
+++ b/Admin/components/components.sha1	Tue Aug 25 14:55:33 2020 +0200
@@ -184,6 +184,7 @@
 52e95b3493d71902f9df89d0bb59d0046a5f0c63  kodkodi-1.5.4-1.tar.gz
 267189c637de26cf304d699cfa95389da002b250  kodkodi-1.5.4.tar.gz
 3ecdade953bb455ed2907952be287d7e5cf6533b  kodkodi-1.5.5.tar.gz
+6b12bf3f40b16fae8ff22aa39171fa018d107cb3  kodkodi-1.5.6.tar.gz
 377e36efb8608e6c828c7718d890e97fde2006a4  linux_app-20131007.tar.gz
 759848095e2ad506083d92b5646947e3c32f27a0  linux_app-20191223.tar.gz
 1a449ce69ac874e21804595d16aaaf5a0d0d0c10  linux_app-20200110.tar.gz
--- a/Admin/components/main	Tue Aug 25 14:54:41 2020 +0200
+++ b/Admin/components/main	Tue Aug 25 14:55:33 2020 +0200
@@ -9,7 +9,7 @@
 jedit_build-20200610
 jfreechart-1.5.0
 jortho-1.0-2
-kodkodi-1.5.5
+kodkodi-1.5.6
 nunchaku-0.5
 opam-2.0.6
 polyml-test-f54aa41240d0
isabelle