.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

pkgbase = proofgeneral-git
	pkgdesc = Generic interface for proof assistants
	pkgver = 4.4.r9297.ec4f9bad
	pkgrel = 2
	url = https://github.com/ProofGeneral/PG
	install = proofgeneral-git.install
	arch = x86_64
	license = GPLv3+
	makedepends = git
	depends = emacs>=25.1
	provides = proofgeneral
	conflicts = proofgeneral
	source = proofgeneral::git+https://github.com/ProofGeneral/PG.git
	source = squirrel.patch
	sha512sums = SKIP
	sha512sums = d7dff3453a1262747b99faa6dabda2f08c3928f089f24b42111753779bf2c705a5f897271a30b8557d4673aaac61b64a1b7f4bfb7a22790b6e1d37bef0c7ac10

pkgname = proofgeneral-git