.SRCINFO


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

pkgbase = proofgeneral
	pkgdesc = Generic interface for proof assistants.
	pkgver = 4.2
	pkgrel = 2
	url = http://proofgeneral.inf.ed.ac.uk/
	install = proofgeneral.install
	arch = i686
	arch = x86_64
	license = GPL
	depends = emacs>=24.3
	source = http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-4.2.tgz
	source = Makefile.patch
	md5sums = c9f7eac10ed7a04c96b90abcbf964427
	md5sums = e8a2c065a928f641564174c1342cfa60
	sha256sums = 3567b68077798396ccd55c501b7ea7bd2c4d6300e4c74ff609dc19837d050b27
	sha256sums = 13c927009152da17ac5b91abc76e45190e60928a1df1e8b202df9390842c9931
	sha512sums = 102c56a1bc113439b1fa8aa10efe571d47d68b344d3489fe18ca3bdbf8828bb31fd2302a68a4bd639c59c429d41e82e5d933abddd3444781cb0e8a603db432ab
	sha512sums = 6ad406d0528db5dc9db47c6f25fc8280d91a31619450c574f7a65018577cccbb0f67c726e14db62d9d6816d1d3868cb72ea85999496115f79664495a44854f09

pkgname = proofgeneral