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.3: include KODKODI_CLASSPATH for Isabelle/Scala;
authorwenzelm
Tue, 18 Aug 2020 17:58:35 +0200
changeset 72175 6d7cd8e7bc6d
parent 72163 f5722290a4d0
child 72176 22c11f65ddf9
updated to kodkodi-1.5.3: include KODKODI_CLASSPATH for Isabelle/Scala;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Mon Aug 17 16:26:58 2020 +0200
+++ b/Admin/components/components.sha1	Tue Aug 18 17:58:35 2020 +0200
@@ -180,6 +180,7 @@
 6c737137cc597fc920943783382e928ea79e3feb  kodkodi-1.2.16.tar.gz
 afb04f4048a87bb888fe7b05b0139cb060c7925b  kodkodi-1.5.2-1.tar.gz
 5f95c96bb99927f3a026050f85bd056f37a9189e  kodkodi-1.5.2.tar.gz
+0634a946b216f7f07f1a0f7e28cf345daa28828f  kodkodi-1.5.3.tar.gz
 377e36efb8608e6c828c7718d890e97fde2006a4  linux_app-20131007.tar.gz
 759848095e2ad506083d92b5646947e3c32f27a0  linux_app-20191223.tar.gz
 1a449ce69ac874e21804595d16aaaf5a0d0d0c10  linux_app-20200110.tar.gz
--- a/Admin/components/main	Mon Aug 17 16:26:58 2020 +0200
+++ b/Admin/components/main	Tue Aug 18 17:58:35 2020 +0200
@@ -9,7 +9,7 @@
 jedit_build-20200610
 jfreechart-1.5.0
 jortho-1.0-2
-kodkodi-1.5.2-1
+kodkodi-1.5.3
 nunchaku-0.5
 opam-2.0.6
 polyml-test-f54aa41240d0
isabelle