[arch-commits] Commit in cryptol/trunk (PKGBUILD)
Felix Yan
felixonmars at archlinux.org
Tue Sep 8 21:14:53 UTC 2020
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 <felixonmars at 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}"
More information about the arch-commits
mailing list