src/Pure/Admin/component_stack.scala
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