Arch Linux repository for DolphinOS
The repository is currently located at:
https://dolphinos-development.github.io/dolphinos-repo/
In order to add the repo to an Arch Linux installation, add the following line to the pacman configuration file (/etc/pacman.conf):
``` [dolphinos-repo] SigLevel = Optional TrustedOnly Server = https://dolphinos-development.github.io/dolphinos-repo/x86_64