# HG changeset patch
# User wenzelm
# Date 1602243666 -7200
# Node ID c2b44fb3add4bd0043091ab93c3c69e0b303a6f9
# Parent  9ed9585c495bf0244103fc315559d13fd9b8a019
rebuild component following current "isabelle build_e" and Admin/PLATFORMS;

diff -r 9ed9585c495b -r c2b44fb3add4 Admin/components/components.sha1
--- 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
diff -r 9ed9585c495b -r c2b44fb3add4 Admin/components/main
--- 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