crpt.de Arch Linux packages

Add this to your /etc/pacman.conf:

[crpt]
Server = https://arch.crpt.de/public

Import the signing key:

pacman-key -r DD57B0C2BA8D8DD50488B4CB49EABBD9E58FDA90