isabelle: Admin/haskell/stack/README@96f60533ec1d (annotated)

74064 d871882ad651 update to Haskell stack-2.7.3 and stackage lts-17.15; wenzelm parents: 69419 diff changeset	1	This is stack 2.5.1 -- 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
74064 d871882ad651 update to Haskell stack-2.7.3 and stackage lts-17.15; wenzelm parents: 69419 diff changeset	4	https://github.com/commercialhaskell/stack/releases/tag/v2.7.3 as follows:
69147 6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: diff changeset	5
74064 d871882ad651 update to Haskell stack-2.7.3 and stackage lts-17.15; wenzelm parents: 69419 diff changeset	6	* x86_64-linux: stack-2.7.3-linux-x86_64.tar.gz
d871882ad651 update to Haskell stack-2.7.3 and stackage lts-17.15; wenzelm parents: 69419 diff changeset	7	* x86_64-darwin: stack-2.7.3-osx-x86_64.tar.gz
d871882ad651 update to Haskell stack-2.7.3 and stackage lts-17.15; wenzelm parents: 69419 diff changeset	8	* x86_64-windows: stack-2.7.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
74064 d871882ad651 update to Haskell stack-2.7.3 and stackage lts-17.15; wenzelm parents: 69419 diff changeset	12	25-Jul-2021

author	wenzelm
	Fri, 26 Apr 2024 13:25:44 +0200
changeset 80150	96f60533ec1d
parent 74064	d871882ad651
permissions	-rw-r--r--