Arch Packages

Contains some arch packages, e. g. all my cvc5 related AUR packages.

Use it by adding the following to /etc/pacman.conf

[pollinger]
SigLevel = Optional
Server = https://pkg.pollinger.dev/arch/x86_64