Workspaces for lnt-ctmark-aarch64-Oz clang-d332013-gc9276fbfdf0-t3872-b3872.tar.gz