aura-2.0.0: A secure package manager for Arch Linux and the AUR, written in Haskell.