==> Error: Package 'armpl' not found.
Following the suggestions here solved the problem: https://github.com/spack/spack/issues/31453
So, basically, type:
spack clean -ab
spack clean -fmps
And then try again:
spack install gcc
Hope this post will be helpful to anyone who encounters a similar problem in the future.
Best,
Ester