--- 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
--- 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
--- 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