# Generated by mksrcinfo v8
# Tue Feb 23 08:07:26 UTC 2016
pkgbase = proofgeneral-git
	pkgdesc = Generic interface for proof assistants
	pkgver = r8647.2626ed5
	pkgrel = 1
	url = http://proofgeneral.inf.ed.ac.uk/
	install = proofgeneral-git.install
	arch = i686
	arch = x86_64
	license = GPL
	makedepends = git
	depends = emacs>=24.3
	provides = proofgeneral
	conflicts = proofgeneral
	source = repo::git+https://github.com/ProofGeneral/PG.git
	md5sums = SKIP
	sha256sums = SKIP
	sha512sums = SKIP

pkgname = proofgeneral-git