Alad [1] filed an orphan request for alt-ergo [2]: Package does not build, maintainer informed but no action. [1] https://aur.archlinux.org/account/Alad/ [2] https://aur.archlinux.org/pkgbase/alt-ergo/