Use https://coolos-repo.sarulean.com/$arch as the Pacman server.
https://coolos-repo.sarulean.com/$arch