[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