.SRCINFO


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

pkgbase = metamath
	pkgdesc = A tiny language that can express theorems in abstract mathematics, accompanied by proofs that can be verified.
	pkgver = 0.198
	pkgrel = 1
	url = http://us.metamath.org/
	install = metamath.install
	arch = i686
	arch = x86_64
	license = GPL
	source = http://us.metamath.org/downloads/metamath.tar.gz
	source = http://us.metamath.org/downloads/metamath.pdf
	md5sums = dd14f58b18f786db7b7f5b7b4c69f35e
	md5sums = 662338c650f0be10cc53530cf4b70d09
	sha1sums = adddd8fc3597debc2a846946356195a77467a574
	sha1sums = 3c69dcd66b8d31ae7acce490061c59199c6ad7ad
	sha256sums = c3bb77a1004f4be16dd7a45375a2debf291c32ef189048385152ee2f678d426e
	sha256sums = 245ebab16d148a9772f6c3751ba8f34ee15bed6bbb61a464f4c2a2f9c56f8059

pkgname = metamath