DEFINED_PHASES=compile configure install postinst postrm prepare setup unpack DEPEND=>=app-emacs/mmm-mode-0.4.8-r2 >=virtual/emacs-23 DESCRIPTION=A generic interface for proof assistants EAPI=5 HOMEPAGE=http://proofgeneral.inf.ed.ac.uk/ KEYWORDS=~amd64 ~ppc ~x86 LICENSE=GPL-2 RDEPEND=>=app-emacs/mmm-mode-0.4.8-r2 >=virtual/emacs-23 SLOT=0 SRC_URI=http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-4.2.tgz _eclasses_=elisp ae11b438eee6c692e6c94c9a86999514 elisp-common 090a78f3eaf8f79b5c038c950c6fbaf7 eutils 36e6377b0e31856b6d62af831661c4f3 multilib 892e597faee02a5b94eb02ab512e7622 toolchain-funcs 69a2016af67775a812f4c03ba4b0e03e user d0a4d0735a6c0183d707ca919bd72f28 _md5_=169d0440c926ae452ce163faa096a9b9