Admin/haskell/stack/README
author wenzelm
Sat, 28 Nov 2020 16:25:29 +0100
changeset 72759 bd5ee3148132
parent 69419 8985ee17bfd2
child 74064 d871882ad651
permissions -rw-r--r--
more antiquotations (reverting 4df341249348);
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
69419
8985ee17bfd2 updated to stack-1.9.3;
wenzelm
parents: 69147
diff changeset
     1
This is stack 1.9.3 -- the Haskell Tool Stack.
69147
6f4d561ea621 isabelle_stack as portable shell function;
wenzelm
parents:
diff changeset
     2
6f4d561ea621 isabelle_stack as portable shell function;
wenzelm
parents:
diff changeset
     3
See also https://www.haskellstack.org and executables from
6f4d561ea621 isabelle_stack as portable shell function;
wenzelm
parents:
diff changeset
     4
https://github.com/commercialhaskell/stack/releases as follows:
6f4d561ea621 isabelle_stack as portable shell function;
wenzelm
parents:
diff changeset
     5
69419
8985ee17bfd2 updated to stack-1.9.3;
wenzelm
parents: 69147
diff changeset
     6
  * x86_64-linux: stack-1.9.3-linux-x86_64-static.tar.gz
8985ee17bfd2 updated to stack-1.9.3;
wenzelm
parents: 69147
diff changeset
     7
  * x86_64-darwin: stack-1.9.3-osx-x86_64.tar.gz
8985ee17bfd2 updated to stack-1.9.3;
wenzelm
parents: 69147
diff changeset
     8
  * x86_64-windows: stack-1.9.3-windows-x86_64.tar.gz
69147
6f4d561ea621 isabelle_stack as portable shell function;
wenzelm
parents:
diff changeset
     9
6f4d561ea621 isabelle_stack as portable shell function;
wenzelm
parents:
diff changeset
    10
6f4d561ea621 isabelle_stack as portable shell function;
wenzelm
parents:
diff changeset
    11
    Makarius
69419
8985ee17bfd2 updated to stack-1.9.3;
wenzelm
parents: 69147
diff changeset
    12
    07-Dec-2018