[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