Update of GHC stack with full support for ARM64 platforms
System
- Update to GHC stack 2.13.1 with support for all platforms, including Apple Silicon.
This refers to Isabelle/c44171d372a1 and Isabelle/a611bbfeb9cd: all platforms are now properly supported.
- Projects
- Subscribers
- None