# HG changeset patch # User wenzelm # Date 1579185295 -3600 # Node ID b3b992f6ad8f86571c223c0591d83476b68d325b # Parent 7e8e5e1f8f90402aea1979ffd15f555ff05a2247 updated to stack-2.1.3, stackage lts-13.19, ghc-8.6.4; diff -r 7e8e5e1f8f90 -r b3b992f6ad8f Admin/components/components.sha1 --- a/Admin/components/components.sha1 Thu Jan 16 15:10:16 2020 +0100 +++ b/Admin/components/components.sha1 Thu Jan 16 15:34:55 2020 +0100 @@ -285,6 +285,7 @@ a2335d28b5b95d8d26500a53f1a9303fc5beaf36 ssh-java-20190323.tar.gz fdc415284e031ee3eb2f65828cbc6945736fe995 stack-1.9.1.tar.gz 6e19948ff4a821e2052fc9b3ddd9ae343f4fcdbb stack-1.9.3.tar.gz +f969443705aa8619e93af5b34ea98d15cd7efaf1 stack-2.1.3.tar.gz 1f4a2053cc1f34fa36c4d9d2ac906ad4ebc863fd sumatra_pdf-2.1.1.tar.gz 601e08d048d8e50b0729429c8928b667d9b6bde9 sumatra_pdf-2.3.2.tar.gz 14d46c2eb1a34821703da59d543433f581e91df3 sumatra_pdf-2.4.tar.gz diff -r 7e8e5e1f8f90 -r b3b992f6ad8f Admin/components/main --- a/Admin/components/main Thu Jan 16 15:10:16 2020 +0100 +++ b/Admin/components/main Thu Jan 16 15:34:55 2020 +0100 @@ -19,7 +19,7 @@ spass-3.8ds-1 sqlite-jdbc-3.30.1 ssh-java-20190323 -stack-1.9.3 +stack-2.1.3 vampire-4.2.2 xz-java-1.8 z3-4.4.0pre-3 diff -r 7e8e5e1f8f90 -r b3b992f6ad8f etc/settings --- a/etc/settings Thu Jan 16 15:10:16 2020 +0100 +++ b/etc/settings Thu Jan 16 15:34:55 2020 +0100 @@ -153,9 +153,9 @@ ISABELLE_STACK_ROOT="$USER_HOME/.stack" -ISABELLE_STACK_RESOLVER="lts-12.26" +ISABELLE_STACK_RESOLVER="lts-13.19" -ISABELLE_GHC_VERSION="ghc-8.4.4" +ISABELLE_GHC_VERSION="ghc-8.6.4" ###