[aur-requests] [PRQ#7512] Deletion Request for proofgeneral-nox
14 Feb
2017
14 Feb
'17
5:22 p.m.
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/
14 Feb
14 Feb
5:35 p.m.
New subject: [aur-requests] [PRQ#7512] Request Accepted
Request #7512 has been accepted by ArchangeGabriel [1]. [1] https://aur.archlinux.org/account/ArchangeGabriel/
2869
Age (days ago)
2869
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify@aur.archlinux.org