blob: f01e08f10b29eef48e31236d59a93c1110293d00 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
# Generated by mksrcinfo v8
# Mon Jun 8 11:03:15 UTC 2020
pkgbase = metamath
pkgdesc = A tiny language that can express theorems in abstract mathematics, accompanied by proofs that can be verified.
pkgver = 0.182
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 = 26a542db0bc5d860168c3c83d0305980
md5sums = 662338c650f0be10cc53530cf4b70d09
sha1sums = b239af053e8274f10eb0b8da62a40e921ec08ff8
sha1sums = 3c69dcd66b8d31ae7acce490061c59199c6ad7ad
sha256sums = 493d69958d5ef06561fc21b6d0759a305c427796f613f76fd888ad07bb837deb
sha256sums = 245ebab16d148a9772f6c3751ba8f34ee15bed6bbb61a464f4c2a2f9c56f8059
pkgname = metamath
|