[arch-commits] Commit in cryptol/trunk (PKGBUILD)

[Felix Yan]

    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 <felixonmars at 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}"