# HG changeset patch
# User wenzelm
# Date 1546020095 -3600
# Node ID 5574d504cf3672cee035500d739100e456433e45
# Parent  8e7134f1f5853921023b406c5bb0bc2251d520be
more conservative update of Haskell stack (amending 04e54f57a869): 13.0 still lacks notable packages like "Agda" or "darcs";

diff -r 8e7134f1f585 -r 5574d504cf36 etc/settings
--- a/etc/settings	Fri Dec 28 19:06:33 2018 +0100
+++ b/etc/settings	Fri Dec 28 19:01:35 2018 +0100
@@ -153,9 +153,9 @@
 
 ISABELLE_STACK_ROOT="$ISABELLE_HOME_USER/stack"
 
-ISABELLE_STACK_RESOLVER="lts-13.0"
+ISABELLE_STACK_RESOLVER="lts-12.25"
 
-ISABELLE_GHC_VERSION="ghc-8.6.3"
+ISABELLE_GHC_VERSION="ghc-8.4.4"
 
 
 ###