updated to stack-2.1.3, stackage lts-13.19, ghc-8.6.4;
authorwenzelm
Thu Jan 16 15:34:55 2020 +0100 (5 days ago)
changeset 71387b3b992f6ad8f
parent 71386 7e8e5e1f8f90
child 71388 57861bd0a3e1
updated to stack-2.1.3, stackage lts-13.19, ghc-8.6.4;
Admin/components/components.sha1
Admin/components/main
etc/settings
     1.1 --- a/Admin/components/components.sha1	Thu Jan 16 15:10:16 2020 +0100
     1.2 +++ b/Admin/components/components.sha1	Thu Jan 16 15:34:55 2020 +0100
     1.3 @@ -285,6 +285,7 @@
     1.4  a2335d28b5b95d8d26500a53f1a9303fc5beaf36  ssh-java-20190323.tar.gz
     1.5  fdc415284e031ee3eb2f65828cbc6945736fe995  stack-1.9.1.tar.gz
     1.6  6e19948ff4a821e2052fc9b3ddd9ae343f4fcdbb  stack-1.9.3.tar.gz
     1.7 +f969443705aa8619e93af5b34ea98d15cd7efaf1  stack-2.1.3.tar.gz
     1.8  1f4a2053cc1f34fa36c4d9d2ac906ad4ebc863fd  sumatra_pdf-2.1.1.tar.gz
     1.9  601e08d048d8e50b0729429c8928b667d9b6bde9  sumatra_pdf-2.3.2.tar.gz
    1.10  14d46c2eb1a34821703da59d543433f581e91df3  sumatra_pdf-2.4.tar.gz
     2.1 --- a/Admin/components/main	Thu Jan 16 15:10:16 2020 +0100
     2.2 +++ b/Admin/components/main	Thu Jan 16 15:34:55 2020 +0100
     2.3 @@ -19,7 +19,7 @@
     2.4  spass-3.8ds-1
     2.5  sqlite-jdbc-3.30.1
     2.6  ssh-java-20190323
     2.7 -stack-1.9.3
     2.8 +stack-2.1.3
     2.9  vampire-4.2.2
    2.10  xz-java-1.8
    2.11  z3-4.4.0pre-3
     3.1 --- a/etc/settings	Thu Jan 16 15:10:16 2020 +0100
     3.2 +++ b/etc/settings	Thu Jan 16 15:34:55 2020 +0100
     3.3 @@ -153,9 +153,9 @@
     3.4  
     3.5  ISABELLE_STACK_ROOT="$USER_HOME/.stack"
     3.6  
     3.7 -ISABELLE_STACK_RESOLVER="lts-12.26"
     3.8 +ISABELLE_STACK_RESOLVER="lts-13.19"
     3.9  
    3.10 -ISABELLE_GHC_VERSION="ghc-8.4.4"
    3.11 +ISABELLE_GHC_VERSION="ghc-8.6.4"
    3.12  
    3.13  
    3.14  ###