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"
