Noel, thanks for reporting this bug, that also happened to me. If you change the repository to the "Main server" this problem will go away.
Noel, thanks for reporting this bug, that also happened to me. If you change the repository to the "Main server" this problem will go away.