HomeIsabelle/Phabricator
Phame Blogs Isabelle NEWS J73
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.

Previous Post
Discontinuation of very old Linux and macOS versions
Next Post
ML antiquotation for simproc_setup
Written by makarius on Oct 17 2023, 1:15 PM.
User
Projects
Subscribers
None

Event Timeline