[arch-commits] Commit in cryptol/trunk (PKGBUILD)
Felix Yan
felixonmars at archlinux.org
Mon Aug 10 03:57:53 UTC 2020
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}"
More information about the arch-commits
mailing list