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