Date: Saturday, November 16, 2019 @ 15:52:15 Author: felixonmars Revision: 529530
upgpkg: cryptol 2.8.0-1 Modified: cryptol/trunk/PKGBUILD ----------+ PKGBUILD | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2019-11-16 15:49:46 UTC (rev 529529) +++ PKGBUILD 2019-11-16 15:52:15 UTC (rev 529530) @@ -1,8 +1,8 @@ # Maintainer: Felix Yan <felixonm...@archlinux.org> pkgname=cryptol -pkgver=2.7.0 -pkgrel=47 +pkgver=2.8.0 +pkgrel=1 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net" license=("BSD") @@ -14,7 +14,7 @@ 'haskell-blaze-html') makedepends=('ghc' 'alex' 'happy') source=("$pkgname-$pkgver.tar.gz::https://github.com/GaloisInc/cryptol/archive/$pkgver.tar.gz") -sha512sums=('e46b6ebf242d57287c8032db4c1763917acbfc9add76c92db35b5d3538df617248ffe20754e20ebc97e594150e309ac92cf1d3b17c3389895e2ca26f95a007f9') +sha512sums=('ad2cbb67dbcd10dba12457b24558af4ef7066817f18e162432607e7d887071fef13a1c958e37a3f7e8e3fd04079c20cc2a8abdcf1c9dd35a9a93e7e0a2d383b0') build() { cd "${srcdir}/${pkgname}-${pkgver}"