# HG changeset patch
# User wenzelm
# Date 1627217168 -7200
# Node ID d871882ad651278ecf7611217f3383de57e24191
# Parent  ff466b272267c7a0999bc664c40322cf73a3c63e
update to Haskell stack-2.7.3 and stackage lts-17.15;

diff -r ff466b272267 -r d871882ad651 Admin/components/components.sha1
--- 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
diff -r ff466b272267 -r d871882ad651 Admin/components/main
--- 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
diff -r ff466b272267 -r d871882ad651 Admin/haskell/stack/README
--- 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
diff -r ff466b272267 -r d871882ad651 etc/settings
--- 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"