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

[Felix Yan via arch-commits]

    Date: Tuesday, September 8, 2020 @ 21:14:53
  Author: felixonmars
Revision: 701330

upgpkg: cryptol 2.9.1-1

Modified:
  cryptol/trunk/PKGBUILD

----------+
 PKGBUILD |    6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD    2020-09-08 21:13:09 UTC (rev 701329)
+++ PKGBUILD    2020-09-08 21:14:53 UTC (rev 701330)
@@ -1,8 +1,8 @@
 # Maintainer: Felix Yan <felixonm...@archlinux.org>
 
 pkgname=cryptol
-pkgver=2.9.0
-pkgrel=40
+pkgver=2.9.1
+pkgrel=1
 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=('3b577c117f901b6263574be0b0e34c469f0cbea1238e10fa61a8d630d46a36944341edc412dc04caef5c75083f1cccb91f6f5f9c07d81124876418157397ae27')
+sha512sums=('42c9058035f30e27dc30a17e901df87072939a84867cd2723ecf9e67e51cc53a308c38369dd7353bd2df043baa5f9f94c34a94ac52bcd6b45bfad8a67810f975')
 
 build() {
     cd "${srcdir}/${pkgname}-${pkgver}"