diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -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() { |