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.
rebuild component following current "isabelle build_e" and Admin/PLATFORMS;
authorwenzelm
Fri, 09 Oct 2020 13:41:06 +0200
changeset 72413 c2b44fb3add4
parent 72412 9ed9585c495b
child 72414 af24c0dd6975
rebuild component following current "isabelle build_e" and Admin/PLATFORMS;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Fri Oct 09 13:29:27 2020 +0200
+++ b/Admin/components/components.sha1	Fri Oct 09 13:41:06 2020 +0200
@@ -299,6 +299,7 @@
 5659440f6b86db29f0c9c0de7249b7e24a647126  scala-2.9.2.tar.gz
 abe7a3b50da529d557a478e9f631a22429418a67  smbc-0.4.1.tar.gz
 cbd491c0feba1d21019d05564e76dd04f592ccb4  spass-3.8ds-1.tar.gz
+edaa1268d82203067657aabcf0371ce7d4b579b9  spass-3.8ds-2.tar.gz
 43b5afbcad575ab6817d2289756ca22fd2ef43a9  spass-3.8ds.tar.gz
 b016a785f1f78855c00d351ff598355c3b87450f  sqlite-jdbc-3.18.0-1.tar.gz
 b85b5bc071a59ef2a8326ceb1617d5a9a5be41cf  sqlite-jdbc-3.18.0.tar.gz
--- a/Admin/components/main	Fri Oct 09 13:29:27 2020 +0200
+++ b/Admin/components/main	Fri Oct 09 13:41:06 2020 +0200
@@ -16,7 +16,7 @@
 postgresql-42.2.9
 scala-2.12.12
 smbc-0.4.1
-spass-3.8ds-1
+spass-3.8ds-2
 sqlite-jdbc-3.32.3.2
 ssh-java-20190323
 stack-2.1.3
isabelle