diff options
| author | aksr | 2019-11-01 06:47:40 +0100 |
|---|---|---|
| committer | aksr | 2019-11-01 06:47:40 +0100 |
| commit | 3ec8620a9ac72b6deb6bb0ef85a9ba848de01540 (patch) | |
| tree | c33db18fd74d502a6240d4396ebdd8dc20f23e6a | |
| parent | a2d4cb6aec5232d180df3c2cb5af86cb3fb44716 (diff) | |
| download | aur-3ec8620a9ac72b6deb6bb0ef85a9ba848de01540.tar.gz | |
Update to 0.178.
| -rw-r--r-- | .SRCINFO | 10 | ||||
| -rw-r--r-- | PKGBUILD | 8 |
2 files changed, 9 insertions, 9 deletions
@@ -1,8 +1,8 @@ # Generated by mksrcinfo v8 -# Tue Aug 6 13:56:29 UTC 2019 +# Fri Nov 1 05:47:20 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 + pkgver = 0.178 pkgrel = 1 url = http://us.metamath.org/ install = metamath.install @@ -11,11 +11,11 @@ pkgbase = metamath license = GPL source = http://us.metamath.org/downloads/metamath.tar.gz source = http://us.metamath.org/downloads/metamath.pdf - md5sums = 4e1ae1c28e8230f27bcbed8f405356b4 + md5sums = 429ba85dba04cfbace53c28bd6b836a7 md5sums = 662338c650f0be10cc53530cf4b70d09 - sha1sums = 3fd89039fbec5ca60e7b122865d63ece3282e820 + sha1sums = f01688b68f32d7ca5edd779d8ec9d312d55da3e0 sha1sums = 3c69dcd66b8d31ae7acce490061c59199c6ad7ad - sha256sums = 8fa2ef678ae4b68370ed2c649f45744ed5c63fbf61fba77135904e27d3f5b56d + sha256sums = 33b739b54d0a41aa68e5c3b3a36c6d1123afd92a822ee1fb6ad2168dc1dfcd80 sha256sums = 245ebab16d148a9772f6c3751ba8f34ee15bed6bbb61a464f4c2a2f9c56f8059 pkgname = metamath @@ -1,6 +1,6 @@ # Maintainer: aksr <aksr at t-com dot me> pkgname=metamath -pkgver=0.177 +pkgver=0.178 pkgrel=1 epoch= pkgdesc="A tiny language that can express theorems in abstract mathematics, accompanied by proofs that can be verified." @@ -23,11 +23,11 @@ source=("http://us.metamath.org/downloads/$pkgname.tar.gz" "http://us.metamath.org/downloads/$pkgname.pdf") noextract=() options=() -md5sums=('4e1ae1c28e8230f27bcbed8f405356b4' +md5sums=('429ba85dba04cfbace53c28bd6b836a7' '662338c650f0be10cc53530cf4b70d09') -sha1sums=('3fd89039fbec5ca60e7b122865d63ece3282e820' +sha1sums=('f01688b68f32d7ca5edd779d8ec9d312d55da3e0' '3c69dcd66b8d31ae7acce490061c59199c6ad7ad') -sha256sums=('8fa2ef678ae4b68370ed2c649f45744ed5c63fbf61fba77135904e27d3f5b56d' +sha256sums=('33b739b54d0a41aa68e5c3b3a36c6d1123afd92a822ee1fb6ad2168dc1dfcd80' '245ebab16d148a9772f6c3751ba8f34ee15bed6bbb61a464f4c2a2f9c56f8059') build() { |