changeset 71387 | b3b992f6ad8f |
parent 70238 | f18ece5865da |
child 71733 | 6c470c918aad |
71386:7e8e5e1f8f90 | 71387:b3b992f6ad8f |
---|---|
151 ### Haskell |
151 ### Haskell |
152 ### |
152 ### |
153 |
153 |
154 ISABELLE_STACK_ROOT="$USER_HOME/.stack" |
154 ISABELLE_STACK_ROOT="$USER_HOME/.stack" |
155 |
155 |
156 ISABELLE_STACK_RESOLVER="lts-12.26" |
156 ISABELLE_STACK_RESOLVER="lts-13.19" |
157 |
157 |
158 ISABELLE_GHC_VERSION="ghc-8.4.4" |
158 ISABELLE_GHC_VERSION="ghc-8.6.4" |
159 |
159 |
160 |
160 |
161 ### |
161 ### |
162 ### Misc settings |
162 ### Misc settings |
163 ### |
163 ### |