gentoo-overlay/metadata/cache/app-emacs/proofgeneral-4.1

>=app-emacs/mmm-mode-0.4.8-r2 >=virtual/emacs-23
>=app-emacs/mmm-mode-0.4.8-r2 >=virtual/emacs-23
0
http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-4.1.tgz

http://proofgeneral.inf.ed.ac.uk/
GPL-2
A generic interface for proof assistants
amd64 ppc x86
elisp elisp-common eutils multilib toolchain-funcs user




4

compile configure install postinst postrm prepare setup unpack