update to lts-12.26 (stable branch);
authorwenzelm
Fri May 03 11:47:01 2019 +0200 (6 months ago)
changeset 70238f18ece5865da
parent 70234 4e0834322981
child 70239 9c60fcfdf495
update to lts-12.26 (stable branch);
etc/settings
     1.1 --- a/etc/settings	Thu May 02 22:06:40 2019 +0200
     1.2 +++ b/etc/settings	Fri May 03 11:47:01 2019 +0200
     1.3 @@ -153,7 +153,7 @@
     1.4  
     1.5  ISABELLE_STACK_ROOT="$USER_HOME/.stack"
     1.6  
     1.7 -ISABELLE_STACK_RESOLVER="lts-12.25"
     1.8 +ISABELLE_STACK_RESOLVER="lts-12.26"
     1.9  
    1.10  ISABELLE_GHC_VERSION="ghc-8.4.4"
    1.11