ProofGeneral: removed, use from ELPA.

srcpkgs/ProofGeneral/template

@@ -1,17 +0,0 @@
-# Template file for 'ProofGeneral'
-pkgname=ProofGeneral
-version=4.5
-revision=1
-build_style=gnu-makefile
-hostmakedepends="emacs which"
-depends="emacs perl"
-short_desc="Generic Emacs front-end for proof assistants"
-maintainer="Leah Neukirchen <leah@vuxu.org>"
-license="GPL-2.0-only"
-homepage="https://proofgeneral.github.io/"
-distfiles="https://github.com/ProofGeneral/PG/archive/v${version}.tar.gz"
-checksum=b408ab943cfbfe4fcb0d3322f079f41e2a2d29b50cf0cc704fbb4d5e6c26e3a2
-
-do_install() {
-	make install DESTDIR=${DESTDIR}
-}