etc/settings
changeset 74329 f175fd68b6a9
parent 74328 d871882ad651
child 74800 b618749bb8f4
equal deleted inserted replaced
74328:d871882ad651 74329:f175fd68b6a9
   152 ### Haskell
   152 ### Haskell
   153 ###
   153 ###
   154 
   154 
   155 ISABELLE_STACK_ROOT="$USER_HOME/.stack"
   155 ISABELLE_STACK_ROOT="$USER_HOME/.stack"
   156 
   156 
   157 ISABELLE_STACK_RESOLVER="lts-17.15"
   157 ISABELLE_STACK_RESOLVER="lts-17.10"
   158 
   158 
   159 ISABELLE_GHC_VERSION="ghc-8.10.4"
   159 ISABELLE_GHC_VERSION="ghc-8.10.4"
   160 
   160 
   161 
   161 
   162 ###
   162 ###