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

[Felix Yan via arch-commits]

    Date: Sunday, January 20, 2019 @ 11:19:12
  Author: felixonmars
Revision: 425038

upgpkg: tamarin-prover 1.4.1-1

rebuild with tamarin-prover 1.4.1

Modified:
  tamarin-prover/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD    2019-01-20 11:18:23 UTC (rev 425037)
+++ PKGBUILD    2019-01-20 11:19:12 UTC (rev 425038)
@@ -2,8 +2,8 @@
 # Contributor: Arch Haskell Team <arch-hask...@haskell.org>
 
 pkgname=tamarin-prover
-pkgver=1.4.0
-pkgrel=175
+pkgver=1.4.1
+pkgrel=1
 pkgdesc="The Tamarin prover for security protocol analysis"
 url="http://tamarin-prover.github.io";
 license=("GPL")
@@ -19,7 +19,7 @@
 optdepends=('ocaml: for sapic support')
 makedepends=('ghc' 'ocaml')
 
source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz";)
-sha512sums=('7c1afe6a53b596c2ce01e9ad7a7f464af1f4efbc5f8edc13d5ec8bc32ce4e91ddde91dff6ab8e01cf3cf30a37a3a18953d937debc36c9df664f718d968e2ae74')
+sha512sums=('4d3aeae02be5d430bff6c55d78656e3c9a648674d235bfeb36ce227a39abd3054a132b99ff8040abf05d8e26506fe85d21ecfb6fce73062dd45b5ba98d941144')
 
 prepare() {
     cd "${srcdir}/${pkgname}-${pkgver}"