# HG changeset patch
# User wenzelm
# Date 1627222343 -7200
# Node ID f175fd68b6a92611ea35fa7fc963a841fafa6467
# Parent  d871882ad651278ecf7611217f3383de57e24191
back to stackage lts-17.10, to make this work on vmnipkow9 (Windows Server 2012 R2);

diff -r d871882ad651 -r f175fd68b6a9 etc/settings
--- a/etc/settings	Sun Jul 25 14:46:08 2021 +0200
+++ b/etc/settings	Sun Jul 25 16:12:23 2021 +0200
@@ -154,7 +154,7 @@
 
 ISABELLE_STACK_ROOT="$USER_HOME/.stack"
 
-ISABELLE_STACK_RESOLVER="lts-17.15"
+ISABELLE_STACK_RESOLVER="lts-17.10"
 
 ISABELLE_GHC_VERSION="ghc-8.10.4"