| DEFINED_PHASES=compile install postinst postrm setup unpack |
| DEPEND=>=virtual/emacs-21 |
| DESCRIPTION=A generic interface for proof assistants |
| HOMEPAGE=http://proofgeneral.inf.ed.ac.uk/ |
| KEYWORDS=amd64 ppc x86 |
| LICENSE=GPL-2 |
| RDEPEND=>=virtual/emacs-21 |
| SLOT=0 |
| SRC_URI=http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-3.7.1.tgz |
| _eclasses_=elisp 4fb60944284f0928ba836a482f598807 elisp-common 3322f14f031ddc95feccd9089c9adc59 eutils c89e7605f1414fa0f33eae391db1b5d3 multilib d9b509f8ec69d5fd4789bd320d50e6d0 portability 0be430f759a631e692678ed796e09f5c toolchain-funcs 39ac4a2f99e342286758b5e753f4fb8b |
| _md5_=2d68e9d8dc9d9cfc9f8b0bb760479643 |
