# HG changeset patch
# User wenzelm
# Date 1544191112 -3600
# Node ID 8985ee17bfd2e7a7c01000f8d5b608fc5b972bba
# Parent  86ba90f8874789cc98e2291617cea390985df8e0
updated to stack-1.9.3;
proper settings for Windows;

diff -r 86ba90f88747 -r 8985ee17bfd2 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Fri Dec 07 12:31:37 2018 +0100
+++ b/Admin/components/components.sha1	Fri Dec 07 14:58:32 2018 +0100
@@ -236,6 +236,7 @@
 8d20968603f45a2c640081df1ace6a8b0527452a  sqlite-jdbc-3.8.11.2.tar.gz
 2369f06e8d095f9ba26df938b1a96000e535afff  ssh-java-20161009.tar.gz
 fdc415284e031ee3eb2f65828cbc6945736fe995  stack-1.9.1.tar.gz
+6e19948ff4a821e2052fc9b3ddd9ae343f4fcdbb  stack-1.9.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 86ba90f88747 -r 8985ee17bfd2 Admin/components/main
--- a/Admin/components/main	Fri Dec 07 12:31:37 2018 +0100
+++ b/Admin/components/main	Fri Dec 07 14:58:32 2018 +0100
@@ -19,7 +19,7 @@
 spass-3.8ds-1
 sqlite-jdbc-3.23.1
 ssh-java-20161009
-stack-1.9.1
+stack-1.9.3
 vampire-4.2.2
 xz-java-1.8
 z3-4.4.0pre-2
diff -r 86ba90f88747 -r 8985ee17bfd2 Admin/haskell/stack/README
--- a/Admin/haskell/stack/README	Fri Dec 07 12:31:37 2018 +0100
+++ b/Admin/haskell/stack/README	Fri Dec 07 14:58:32 2018 +0100
@@ -1,12 +1,12 @@
-This is stack 1.9.1 -- the Haskell Tool Stack.
+This is stack 1.9.3 -- the Haskell Tool Stack.
 
 See also https://www.haskellstack.org and executables from
 https://github.com/commercialhaskell/stack/releases as follows:
 
-  * x86_64-linux: stack-1.9.1-linux-x86_64-static.tar.gz
-  * x86_64-darwin: stack-1.9.1-osx-x86_64.tar.gz
-  * x86_64-windows: stack-1.9.1-windows-x86_64.tar.gz
+  * x86_64-linux: stack-1.9.3-linux-x86_64-static.tar.gz
+  * x86_64-darwin: stack-1.9.3-osx-x86_64.tar.gz
+  * x86_64-windows: stack-1.9.3-windows-x86_64.tar.gz
 
 
     Makarius
-    17-Oct-2018
+    07-Dec-2018