Sources

To figure out how this all works together, reading The Rebuild Process might be useful.

Package PKGBUILDs:

• core
• base
• kde5

All the build machinery, website, etc.

Archives of (mostly) upstream sources.

Binary distributions - also see Download.

Binary packages (for your pacman.conf - i see no need for direct link):

Server = https://armlfs.urja.dev/pkg/$arch/$repo