blob: 0d8e714f9936ec6f7fa191e1a9a7c7a32711fc5e (
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
# Tue Aug 6 13:56:29 UTC 2019
pkgbase = metamath
pkgdesc = A tiny language that can express theorems in abstract mathematics, accompanied by proofs that can be verified.
pkgver = 0.177
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 = 4e1ae1c28e8230f27bcbed8f405356b4
md5sums = 662338c650f0be10cc53530cf4b70d09
sha1sums = 3fd89039fbec5ca60e7b122865d63ece3282e820
sha1sums = 3c69dcd66b8d31ae7acce490061c59199c6ad7ad
sha256sums = 8fa2ef678ae4b68370ed2c649f45744ed5c63fbf61fba77135904e27d3f5b56d
sha256sums = 245ebab16d148a9772f6c3751ba8f34ee15bed6bbb61a464f4c2a2f9c56f8059
pkgname = metamath
|