Principia Arch Repository

Custom repository hosting binary packages of Principia. Currently contains x86_64 binary packages principia for the latest stable version and principia-git which gets updated every now and then from the master branch.

To enable it, paste the following in /etc/pacman.conf:

[principia]
SigLevel = Optional DatabaseOptional
Server = https://arch.principia-web.se/$arch/

Or run the following oneliner to append it to the file:

echo -e '\n[principia]\nSigLevel = Optional DatabaseOptional\nServer = https://arch.principia-web.se/$arch' | sudo tee -a /etc/pacman.conf

Also see the Arch section of the Principia download page.