--- a/Admin/components/components.sha1 Thu Jan 16 15:10:16 2020 +0100
+++ b/Admin/components/components.sha1 Thu Jan 16 15:34:55 2020 +0100
@@ -285,6 +285,7 @@
a2335d28b5b95d8d26500a53f1a9303fc5beaf36 ssh-java-20190323.tar.gz
fdc415284e031ee3eb2f65828cbc6945736fe995 stack-1.9.1.tar.gz
6e19948ff4a821e2052fc9b3ddd9ae343f4fcdbb stack-1.9.3.tar.gz
+f969443705aa8619e93af5b34ea98d15cd7efaf1 stack-2.1.3.tar.gz
1f4a2053cc1f34fa36c4d9d2ac906ad4ebc863fd sumatra_pdf-2.1.1.tar.gz
601e08d048d8e50b0729429c8928b667d9b6bde9 sumatra_pdf-2.3.2.tar.gz
14d46c2eb1a34821703da59d543433f581e91df3 sumatra_pdf-2.4.tar.gz
--- a/Admin/components/main Thu Jan 16 15:10:16 2020 +0100
+++ b/Admin/components/main Thu Jan 16 15:34:55 2020 +0100
@@ -19,7 +19,7 @@
spass-3.8ds-1
sqlite-jdbc-3.30.1
ssh-java-20190323
-stack-1.9.3
+stack-2.1.3
vampire-4.2.2
xz-java-1.8
z3-4.4.0pre-3
--- a/etc/settings Thu Jan 16 15:10:16 2020 +0100
+++ b/etc/settings Thu Jan 16 15:34:55 2020 +0100
@@ -153,9 +153,9 @@
ISABELLE_STACK_ROOT="$USER_HOME/.stack"
-ISABELLE_STACK_RESOLVER="lts-12.26"
+ISABELLE_STACK_RESOLVER="lts-13.19"
-ISABELLE_GHC_VERSION="ghc-8.4.4"
+ISABELLE_GHC_VERSION="ghc-8.6.4"
###