Re: [pacman-dev] Pacman only tries to resolve with the primary nameserver