I found this repository https://github.com/ARM-software/toolchain-gnu-bare-metal that seems to contain the files I expected to find.
However, it contains only one tag that refers to version 9-2019-q4.
Is this the right repository? Why isn't version 9-2020-q2 tagged? Will the next release (I think 10-2020-q4) come out of this repository?
best regards
Max