pacman: repo: - name: arch4edu priority: 800 server: https://repository.arch4edu.org/$$arch install: - arch4edu/arch4edu-keyring