Date: Monday, August 10, 2020 @ 03:57:52 Author: felixonmars Revision: 673327
upgpkg: cryptol 2.9.0-15: rebuild with strict 0.4 Modified: cryptol/trunk/PKGBUILD ----------+ PKGBUILD | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2020-08-09 21:57:46 UTC (rev 673326) +++ PKGBUILD 2020-08-10 03:57:52 UTC (rev 673327) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.0 -pkgrel=14 +pkgrel=15 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net" license=("BSD") @@ -15,7 +15,7 @@ 'haskell-what4' 'haskell-ansi-terminal' 'haskell-blaze-html') makedepends=('ghc' 'alex' 'happy') source=("$pkgname-$pkgver.tar.gz::https://github.com/GaloisInc/cryptol/archive/$pkgver.tar.gz") -sha512sums=('8db5c4d39de3abba0a85cdb021e1efaef5f52e2e4ad17afcfc8bb14abb00888bd669e80b11079f067dd688ba5b115eb90363be306c0a984a0b9563049e3f3eae') +sha512sums=('3b577c117f901b6263574be0b0e34c469f0cbea1238e10fa61a8d630d46a36944341edc412dc04caef5c75083f1cccb91f6f5f9c07d81124876418157397ae27') build() { cd "${srcdir}/${pkgname}-${pkgver}"