app-emacs/proofgeneral-4.5: amd64, x86 and ppc stabilization request > slot(0) no change in 32 days for unstable keywords: [ ~amd64, ~ppc, ~x86 ] Please stabilize :D
ALLARCHES stable. Closing