--- a/Admin/components/components.sha1 Sun Jul 25 12:43:07 2021 +0200
+++ b/Admin/components/components.sha1 Sun Jul 25 14:46:08 2021 +0200
@@ -386,6 +386,7 @@
6e19948ff4a821e2052fc9b3ddd9ae343f4fcdbb stack-1.9.3.tar.gz
f969443705aa8619e93af5b34ea98d15cd7efaf1 stack-2.1.3.tar.gz
ebd0221d038966aa8bde075f1b0189ff867b02ca stack-2.5.1.tar.gz
+fa2d882ec45cbc8c7d2f3838b705a8316696dc66 stack-2.7.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 Sun Jul 25 12:43:07 2021 +0200
+++ b/Admin/components/main Sun Jul 25 14:46:08 2021 +0200
@@ -23,7 +23,7 @@
spass-3.8ds-2
sqlite-jdbc-3.34.0
ssh-java-20190323
-stack-2.5.1
+stack-2.7.3
vampire-4.2.2
verit-2020.10-rmx-1
xz-java-1.8
--- a/Admin/haskell/stack/README Sun Jul 25 12:43:07 2021 +0200
+++ b/Admin/haskell/stack/README Sun Jul 25 14:46:08 2021 +0200
@@ -1,12 +1,12 @@
-This is stack 1.9.3 -- the Haskell Tool Stack.
+This is stack 2.5.1 -- the Haskell Tool Stack.
See also https://www.haskellstack.org and executables from
-https://github.com/commercialhaskell/stack/releases as follows:
+https://github.com/commercialhaskell/stack/releases/tag/v2.7.3 as follows:
- * x86_64-linux: stack-1.9.3-linux-x86_64-static.tar.gz
- * x86_64-darwin: stack-1.9.3-osx-x86_64.tar.gz
- * x86_64-windows: stack-1.9.3-windows-x86_64.tar.gz
+ * x86_64-linux: stack-2.7.3-linux-x86_64.tar.gz
+ * x86_64-darwin: stack-2.7.3-osx-x86_64.tar.gz
+ * x86_64-windows: stack-2.7.3-windows-x86_64.tar.gz
Makarius
- 07-Dec-2018
+ 25-Jul-2021
--- a/etc/settings Sun Jul 25 12:43:07 2021 +0200
+++ b/etc/settings Sun Jul 25 14:46:08 2021 +0200
@@ -154,7 +154,7 @@
ISABELLE_STACK_ROOT="$USER_HOME/.stack"
-ISABELLE_STACK_RESOLVER="lts-17.10"
+ISABELLE_STACK_RESOLVER="lts-17.15"
ISABELLE_GHC_VERSION="ghc-8.10.4"