more recent OCaml and GHC stack: better support for Apple Silicon;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE51f7bda1bfa2: merged
- Branches
- Unknown
- Tags
more recent OCaml and GHC stack: better support for Apple Silicon; Tags None Subscribers None |