[arch-commits] Commit in tamarin-prover/trunk (PKGBUILD)
Felix Yan
felixonmars at archlinux.org
Thu Nov 9 12:21:19 UTC 2017
Date: Thursday, November 9, 2017 @ 12:21:18
Author: felixonmars
Revision: 265936
upgpkg: tamarin-prover 1.2.2-27
rebuild with cookie,0.4.3
Modified:
tamarin-prover/trunk/PKGBUILD
----------+
PKGBUILD | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2017-11-09 12:19:22 UTC (rev 265935)
+++ PKGBUILD 2017-11-09 12:21:18 UTC (rev 265936)
@@ -4,11 +4,11 @@
pkgname=tamarin-prover
pkgver=1.2.2
-pkgrel=26
+pkgrel=27
pkgdesc="The Tamarin prover for security protocol analysis"
url="http://tamarin-prover.github.io"
license=("GPL")
-arch=('i686' 'x86_64')
+arch=('x86_64')
depends=('ghc-libs' 'graphviz' 'maude' "haskell-hunit" "haskell-binary-orphans"
"haskell-blaze-builder" "haskell-blaze-html" "haskell-cmdargs" "haskell-conduit"
"haskell-fclabels" "haskell-file-embed" "haskell-gitrev" "haskell-http-types"
More information about the arch-commits
mailing list