My first guess was that the download failed due to my appalling internet connection, but in fact, manjaro.barata.pt is down (DNS_PROBE_FINISHED_NXDOMAIN).
Try a different mirror:
https://repo.manjaro.org/
There is another method on YourCensorTube which sounds more easy.
However, I haven’t tried it, but worthwhile to check it out.
