wilbowma [1] filed a deletion request for proofgeneral-nox [2]: This package has been replaced by `proofgeneral`, which supports emacs and emacs-nox now. [1] https://aur.archlinux.org/account/wilbowma/ [2] https://aur.archlinux.org/pkgbase/proofgeneral-nox/