[arch-commits] Commit in tamarin-prover/trunk (PKGBUILD)
Felix Yan
felixonmars at archlinux.org
Sun Jan 20 11:19:13 UTC 2019
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-haskell at 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}"
More information about the arch-commits
mailing list