more robust: always assume x86_64 (or its emulation on ARM);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE2dcbf5cbc7a1: MLton lacks arm64-linux (see also 84f2d481d6d7);
- Branches
- Unknown
- Tags
more robust: always assume x86_64 (or its emulation on ARM); Tags None Subscribers None |