Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper "linux_arm", amending 76ad72736e9e;
authorwenzelm
Tue, 13 Feb 2024 12:23:12 +0100
changeset 79591 6e5f40cfa877
parent 79590 b14c4cb37d99
child 79592 7db599be70cc
child 79595 3e27ab965a36
proper "linux_arm", amending 76ad72736e9e;
Admin/components/PLATFORMS file | annotate | diff | comparison | revisions 
--- a/Admin/components/PLATFORMS	Mon Feb 12 09:30:22 2024 +0000
+++ b/Admin/components/PLATFORMS	Tue Feb 13 12:23:12 2024 +0100
@@ -50,7 +50,7 @@
 
 Experimental platforms:
 
-  arm64-linux       Ubuntu 18.04 LTS (e.g. via "docker run -it ubuntu:20.04 bash")
+  arm64-linux       Ubuntu 18.04 LTS (e.g. via "docker run -it ubuntu:18.04 bash")
 
 
 64 bit vs. 32 bit platform personality
isabelle