Version: app-emacs/proofgeneral 4.2:0

Depends On: >=app-emacs/mmm-mode-0.4.8-r2 >=virtual/emacs-23

USE Flags:

4.2
"amd64 ppc x86"
comments powered by Disqus