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.
merged
authorwenzelm
Sun, 22 Jul 2018 19:55:26 +0200
changeset 68679 2a20b315a44d
parent 68677 99b1cf1e2d48 (current diff)
parent 68678 daf21cb6ebc1 (diff)
child 68680 0a0e68369586
merged
--- a/Admin/components/components.sha1	Sun Jul 22 19:29:51 2018 +0200
+++ b/Admin/components/components.sha1	Sun Jul 22 19:55:26 2018 +0200
@@ -137,6 +137,7 @@
 2155e0bdbd29cd3d2905454de2e7203b9661d239  jortho-1.0-2.tar.gz
 ffe179867cf5ffaabbb6bb096db9bdc0d7110065  jortho-1.0.tar.gz
 6c737137cc597fc920943783382e928ea79e3feb  kodkodi-1.2.16.tar.gz
+afb04f4048a87bb888fe7b05b0139cb060c7925b  kodkodi-1.5.2-1.tar.gz
 5f95c96bb99927f3a026050f85bd056f37a9189e  kodkodi-1.5.2.tar.gz
 377e36efb8608e6c828c7718d890e97fde2006a4  linux_app-20131007.tar.gz
 0aab4f73ff7f5e36f33276547e10897e1e56fb1d  macos_app-20130716.tar.gz
--- a/Admin/components/main	Sun Jul 22 19:29:51 2018 +0200
+++ b/Admin/components/main	Sun Jul 22 19:55:26 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
isabelle