gilcu3 [1] filed a deletion request for proofgeneral [2]: This package is currently mostly built from git even by the expected distribution https://melpa.org/#/proof-general There is already a proofgeneral-git package working in AUR, so this one is not needed anymore. [1] https://aur.archlinux.org/account/gilcu3/ [2] https://aur.archlinux.org/pkgbase/proofgeneral/