# HG changeset patch # User wenzelm # Date 1711548098 -3600 # Node ID 98808cc7b0c1eeebce43c790a3ad7255dfdbc274 # Parent ebd988ee1d57e82266a691dc3f466f236e49d8d6 tuned; diff -r ebd988ee1d57 -r 98808cc7b0c1 Admin/components/README.md --- a/Admin/components/README.md Wed Mar 27 14:40:02 2024 +0100 +++ b/Admin/components/README.md Wed Mar 27 15:01:38 2024 +0100 @@ -30,9 +30,7 @@ The official platforms, with **base-line operating systems**, and reference machines are as follows: - * `x86_64-linux` - - **Ubuntu 18.04 LTS** - * `arm64-linux` + * `x86_64-linux` and `arm64-linux` - **Ubuntu 18.04 LTS** (e.g. via `docker run -it ubuntu:18.04 bash`) * `x86_64-darwin` @@ -243,4 +241,3 @@ run for themselves. This works particularly well for software products that have their own "store" of downloadable artifacts. For example, see `isabelle dotnet_setup` as defined in `src/Pure/Tools/dotnet_setup.scala`. -