Hi Masaki, > I didn't see that sources.redhat.com has been obsolete. It is not obsolete, it is just an alias for sourceware.org.... Cheers Nick