src/Pure/Admin/component_stack.scala
Sat, 25 Jan 2025 21:29:27 +0100 wenzelm conservative update to stack-2.15.7;
Tue, 02 Apr 2024 19:10:22 +0200 wenzelm update to stack-2.15.5, stackage-lts-22.15;
Mon, 25 Mar 2024 20:22:05 +0100 wenzelm update to stack-2.15.3, stackage-lts-22.6, ghc-9.6.4;
Wed, 28 Feb 2024 22:11:11 +0100 wenzelm updated to stack-2.15.1, lts-22.6, ghc-9.6.3;
Sun, 15 Oct 2023 13:36:48 +0200 wenzelm updated to stack-2.13.1: include arm64-darwin, although it does not quite work yet (e.g. session "Haskell");
Tue, 11 Jul 2023 15:01:38 +0200 wenzelm provide tool for GHC stack component;
less more (0) tip