[arch-commits] Commit in tamarin-prover/repos (6 files)

2017-10-26 Thread Felix Yan 
Date: Thursday, October 26, 2017 @ 09:24:00
  Author: felixonmars
Revision: 264459

archrelease: copy trunk to community-staging-i686, community-staging-x86_64

Added:
  tamarin-prover/repos/community-staging-i686/
  tamarin-prover/repos/community-staging-i686/PKGBUILD
(from rev 264458, tamarin-prover/trunk/PKGBUILD)
  tamarin-prover/repos/community-staging-i686/binary-orphans-0.1.8.0.patch
(from rev 264458, tamarin-prover/trunk/binary-orphans-0.1.8.0.patch)
  tamarin-prover/repos/community-staging-x86_64/
  tamarin-prover/repos/community-staging-x86_64/PKGBUILD
(from rev 264458, tamarin-prover/trunk/PKGBUILD)
  tamarin-prover/repos/community-staging-x86_64/binary-orphans-0.1.8.0.patch
(from rev 264458, tamarin-prover/trunk/binary-orphans-0.1.8.0.patch)

---+
 community-staging-i686/PKGBUILD   |   54 
 community-staging-i686/binary-orphans-0.1.8.0.patch   |   16 
 community-staging-x86_64/PKGBUILD |   54 
 community-staging-x86_64/binary-orphans-0.1.8.0.patch |   16 
 4 files changed, 140 insertions(+)

Copied: tamarin-prover/repos/community-staging-i686/PKGBUILD (from rev 264458, 
tamarin-prover/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-10-26 09:24:00 UTC (rev 264459)
@@ -0,0 +1,54 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+pkgname=tamarin-prover
+pkgver=1.2.2
+pkgrel=26
+pkgdesc="The Tamarin prover for security protocol analysis"
+url="http://tamarin-prover.github.io;
+license=("GPL")
+arch=('i686' '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"
+ "haskell-lifted-base" "haskell-mtl" "haskell-resourcet" "haskell-safe"
+ "haskell-shakespeare" "haskell-text" "haskell-threads" "haskell-wai" 
"haskell-warp"
+ "haskell-yesod-core" "haskell-yesod-static" 
"haskell-tamarin-prover-utils"
+ "haskell-tamarin-prover-term" "haskell-tamarin-prover-theory")
+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;
+binary-orphans-0.1.8.0.patch)
+sha256sums=('f9b2d3acc01b89f71d2b246a6b3010ebab71e4fe309b3be8a8eac213422b43de'
+'d2f700f4d5b0a3aaf239139bc4abba85acdc2ab86ae3ff7fe345b95679998011')
+
+prepare() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+sed -i '/cp sapic/d' plugins/sapic/Makefile
+patch -p1 -i ../binary-orphans-0.1.8.0.patch
+}
+
+build() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+
+runhaskell Setup configure -O --enable-executable-dynamic --prefix=/usr \
+--docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \
+-fthreaded -ftest-coverage -f-build-tests
+runhaskell Setup build
+
+cd plugins/sapic
+make -j1
+}
+
+package() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+runhaskell Setup copy --destdir="${pkgdir}"
+
+install -Dm644 etc/filetype.vim 
"$pkgdir"/usr/share/vim/vimfiles/filetype.vim
+install -Dm644 etc/spthy.vim 
"$pkgdir"/usr/share/vim/vimfiles/syntax/spthy.vim
+install -Dm644 etc/sapic.vim 
"$pkgdir"/usr/share/vim/vimfiles/syntax/sapic.vim
+
+cd plugins/sapic
+install -Dm755 sapic "$pkgdir"/usr/bin/sapic
+}

Copied: 
tamarin-prover/repos/community-staging-i686/binary-orphans-0.1.8.0.patch (from 
rev 264458, tamarin-prover/trunk/binary-orphans-0.1.8.0.patch)
===
--- community-staging-i686/binary-orphans-0.1.8.0.patch 
(rev 0)
+++ community-staging-i686/binary-orphans-0.1.8.0.patch 2017-10-26 09:24:00 UTC 
(rev 264459)
@@ -0,0 +1,16 @@
+diff --git a/src/Web/Types.hs b/src/Web/Types.hs
+index 8efe669..95e75f3 100644
+--- a/src/Web/Types.hs
 b/src/Web/Types.hs
+@@ -79,11 +79,6 @@ import   Yesod.Static
+ import   Theory
+ 
+ 
+--- | Derived Instances to fix things
+-instance Bin.Binary ZonedTime where
+-  get = liftM2 ZonedTime Bin.get Bin.get
+-  put (ZonedTime d tod) = Bin.put d >> Bin.put tod
+-
+ --
+ -- Types
+ --

Copied: tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 
264458, tamarin-prover/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++

[arch-commits] Commit in tamarin-prover/repos (6 files)

2017-10-19 Thread Felix Yan 
Date: Thursday, October 19, 2017 @ 07:30:44
  Author: felixonmars
Revision: 263520

archrelease: copy trunk to community-staging-i686, community-staging-x86_64

Added:
  tamarin-prover/repos/community-staging-i686/
  tamarin-prover/repos/community-staging-i686/PKGBUILD
(from rev 263519, tamarin-prover/trunk/PKGBUILD)
  tamarin-prover/repos/community-staging-i686/binary-orphans-0.1.8.0.patch
(from rev 263519, tamarin-prover/trunk/binary-orphans-0.1.8.0.patch)
  tamarin-prover/repos/community-staging-x86_64/
  tamarin-prover/repos/community-staging-x86_64/PKGBUILD
(from rev 263519, tamarin-prover/trunk/PKGBUILD)
  tamarin-prover/repos/community-staging-x86_64/binary-orphans-0.1.8.0.patch
(from rev 263519, tamarin-prover/trunk/binary-orphans-0.1.8.0.patch)

---+
 community-staging-i686/PKGBUILD   |   54 
 community-staging-i686/binary-orphans-0.1.8.0.patch   |   16 
 community-staging-x86_64/PKGBUILD |   54 
 community-staging-x86_64/binary-orphans-0.1.8.0.patch |   16 
 4 files changed, 140 insertions(+)

Copied: tamarin-prover/repos/community-staging-i686/PKGBUILD (from rev 263519, 
tamarin-prover/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-10-19 07:30:44 UTC (rev 263520)
@@ -0,0 +1,54 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+pkgname=tamarin-prover
+pkgver=1.2.2
+pkgrel=25
+pkgdesc="The Tamarin prover for security protocol analysis"
+url="http://tamarin-prover.github.io;
+license=("GPL")
+arch=('i686' '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"
+ "haskell-lifted-base" "haskell-mtl" "haskell-resourcet" "haskell-safe"
+ "haskell-shakespeare" "haskell-text" "haskell-threads" "haskell-wai" 
"haskell-warp"
+ "haskell-yesod-core" "haskell-yesod-static" 
"haskell-tamarin-prover-utils"
+ "haskell-tamarin-prover-term" "haskell-tamarin-prover-theory")
+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;
+binary-orphans-0.1.8.0.patch)
+sha256sums=('f9b2d3acc01b89f71d2b246a6b3010ebab71e4fe309b3be8a8eac213422b43de'
+'d2f700f4d5b0a3aaf239139bc4abba85acdc2ab86ae3ff7fe345b95679998011')
+
+prepare() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+sed -i '/cp sapic/d' plugins/sapic/Makefile
+patch -p1 -i ../binary-orphans-0.1.8.0.patch
+}
+
+build() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+
+runhaskell Setup configure -O --enable-executable-dynamic --prefix=/usr \
+--docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \
+-fthreaded -ftest-coverage -f-build-tests
+runhaskell Setup build
+
+cd plugins/sapic
+make -j1
+}
+
+package() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+runhaskell Setup copy --destdir="${pkgdir}"
+
+install -Dm644 etc/filetype.vim 
"$pkgdir"/usr/share/vim/vimfiles/filetype.vim
+install -Dm644 etc/spthy.vim 
"$pkgdir"/usr/share/vim/vimfiles/syntax/spthy.vim
+install -Dm644 etc/sapic.vim 
"$pkgdir"/usr/share/vim/vimfiles/syntax/sapic.vim
+
+cd plugins/sapic
+install -Dm755 sapic "$pkgdir"/usr/bin/sapic
+}

Copied: 
tamarin-prover/repos/community-staging-i686/binary-orphans-0.1.8.0.patch (from 
rev 263519, tamarin-prover/trunk/binary-orphans-0.1.8.0.patch)
===
--- community-staging-i686/binary-orphans-0.1.8.0.patch 
(rev 0)
+++ community-staging-i686/binary-orphans-0.1.8.0.patch 2017-10-19 07:30:44 UTC 
(rev 263520)
@@ -0,0 +1,16 @@
+diff --git a/src/Web/Types.hs b/src/Web/Types.hs
+index 8efe669..95e75f3 100644
+--- a/src/Web/Types.hs
 b/src/Web/Types.hs
+@@ -79,11 +79,6 @@ import   Yesod.Static
+ import   Theory
+ 
+ 
+--- | Derived Instances to fix things
+-instance Bin.Binary ZonedTime where
+-  get = liftM2 ZonedTime Bin.get Bin.get
+-  put (ZonedTime d tod) = Bin.put d >> Bin.put tod
+-
+ --
+ -- Types
+ --

Copied: tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 
263519, tamarin-prover/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++

[arch-commits] Commit in tamarin-prover/repos (6 files)

2017-10-13 Thread Felix Yan 
Date: Friday, October 13, 2017 @ 19:26:15
  Author: felixonmars
Revision: 262640

archrelease: copy trunk to community-staging-i686, community-staging-x86_64

Added:
  tamarin-prover/repos/community-staging-i686/
  tamarin-prover/repos/community-staging-i686/PKGBUILD
(from rev 262639, tamarin-prover/trunk/PKGBUILD)
  tamarin-prover/repos/community-staging-i686/binary-orphans-0.1.8.0.patch
(from rev 262639, tamarin-prover/trunk/binary-orphans-0.1.8.0.patch)
  tamarin-prover/repos/community-staging-x86_64/
  tamarin-prover/repos/community-staging-x86_64/PKGBUILD
(from rev 262639, tamarin-prover/trunk/PKGBUILD)
  tamarin-prover/repos/community-staging-x86_64/binary-orphans-0.1.8.0.patch
(from rev 262639, tamarin-prover/trunk/binary-orphans-0.1.8.0.patch)

---+
 community-staging-i686/PKGBUILD   |   54 
 community-staging-i686/binary-orphans-0.1.8.0.patch   |   16 
 community-staging-x86_64/PKGBUILD |   54 
 community-staging-x86_64/binary-orphans-0.1.8.0.patch |   16 
 4 files changed, 140 insertions(+)

Copied: tamarin-prover/repos/community-staging-i686/PKGBUILD (from rev 262639, 
tamarin-prover/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-10-13 19:26:15 UTC (rev 262640)
@@ -0,0 +1,54 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+pkgname=tamarin-prover
+pkgver=1.2.2
+pkgrel=24
+pkgdesc="The Tamarin prover for security protocol analysis"
+url="http://tamarin-prover.github.io;
+license=("GPL")
+arch=('i686' '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"
+ "haskell-lifted-base" "haskell-mtl" "haskell-resourcet" "haskell-safe"
+ "haskell-shakespeare" "haskell-text" "haskell-threads" "haskell-wai" 
"haskell-warp"
+ "haskell-yesod-core" "haskell-yesod-static" 
"haskell-tamarin-prover-utils"
+ "haskell-tamarin-prover-term" "haskell-tamarin-prover-theory")
+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;
+binary-orphans-0.1.8.0.patch)
+sha256sums=('f9b2d3acc01b89f71d2b246a6b3010ebab71e4fe309b3be8a8eac213422b43de'
+'d2f700f4d5b0a3aaf239139bc4abba85acdc2ab86ae3ff7fe345b95679998011')
+
+prepare() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+sed -i '/cp sapic/d' plugins/sapic/Makefile
+patch -p1 -i ../binary-orphans-0.1.8.0.patch
+}
+
+build() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+
+runhaskell Setup configure -O --enable-executable-dynamic --prefix=/usr \
+--docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \
+-fthreaded -ftest-coverage -f-build-tests
+runhaskell Setup build
+
+cd plugins/sapic
+make -j1
+}
+
+package() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+runhaskell Setup copy --destdir="${pkgdir}"
+
+install -Dm644 etc/filetype.vim 
"$pkgdir"/usr/share/vim/vimfiles/filetype.vim
+install -Dm644 etc/spthy.vim 
"$pkgdir"/usr/share/vim/vimfiles/syntax/spthy.vim
+install -Dm644 etc/sapic.vim 
"$pkgdir"/usr/share/vim/vimfiles/syntax/sapic.vim
+
+cd plugins/sapic
+install -Dm755 sapic "$pkgdir"/usr/bin/sapic
+}

Copied: 
tamarin-prover/repos/community-staging-i686/binary-orphans-0.1.8.0.patch (from 
rev 262639, tamarin-prover/trunk/binary-orphans-0.1.8.0.patch)
===
--- community-staging-i686/binary-orphans-0.1.8.0.patch 
(rev 0)
+++ community-staging-i686/binary-orphans-0.1.8.0.patch 2017-10-13 19:26:15 UTC 
(rev 262640)
@@ -0,0 +1,16 @@
+diff --git a/src/Web/Types.hs b/src/Web/Types.hs
+index 8efe669..95e75f3 100644
+--- a/src/Web/Types.hs
 b/src/Web/Types.hs
+@@ -79,11 +79,6 @@ import   Yesod.Static
+ import   Theory
+ 
+ 
+--- | Derived Instances to fix things
+-instance Bin.Binary ZonedTime where
+-  get = liftM2 ZonedTime Bin.get Bin.get
+-  put (ZonedTime d tod) = Bin.put d >> Bin.put tod
+-
+ --
+ -- Types
+ --

Copied: tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 
262639, tamarin-prover/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++

[arch-commits] Commit in tamarin-prover/repos (6 files)

2017-09-29 Thread Felix Yan 
Date: Friday, September 29, 2017 @ 12:04:39
  Author: felixonmars
Revision: 261011

archrelease: copy trunk to community-staging-i686, community-staging-x86_64

Added:
  tamarin-prover/repos/community-staging-i686/
  tamarin-prover/repos/community-staging-i686/PKGBUILD
(from rev 261010, tamarin-prover/trunk/PKGBUILD)
  tamarin-prover/repos/community-staging-i686/binary-orphans-0.1.8.0.patch
(from rev 261010, tamarin-prover/trunk/binary-orphans-0.1.8.0.patch)
  tamarin-prover/repos/community-staging-x86_64/
  tamarin-prover/repos/community-staging-x86_64/PKGBUILD
(from rev 261010, tamarin-prover/trunk/PKGBUILD)
  tamarin-prover/repos/community-staging-x86_64/binary-orphans-0.1.8.0.patch
(from rev 261010, tamarin-prover/trunk/binary-orphans-0.1.8.0.patch)

---+
 community-staging-i686/PKGBUILD   |   54 
 community-staging-i686/binary-orphans-0.1.8.0.patch   |   16 
 community-staging-x86_64/PKGBUILD |   54 
 community-staging-x86_64/binary-orphans-0.1.8.0.patch |   16 
 4 files changed, 140 insertions(+)

Copied: tamarin-prover/repos/community-staging-i686/PKGBUILD (from rev 261010, 
tamarin-prover/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-09-29 12:04:39 UTC (rev 261011)
@@ -0,0 +1,54 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+pkgname=tamarin-prover
+pkgver=1.2.2
+pkgrel=23
+pkgdesc="The Tamarin prover for security protocol analysis"
+url="http://tamarin-prover.github.io;
+license=("GPL")
+arch=('i686' '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"
+ "haskell-lifted-base" "haskell-mtl" "haskell-resourcet" "haskell-safe"
+ "haskell-shakespeare" "haskell-text" "haskell-threads" "haskell-wai" 
"haskell-warp"
+ "haskell-yesod-core" "haskell-yesod-static" 
"haskell-tamarin-prover-utils"
+ "haskell-tamarin-prover-term" "haskell-tamarin-prover-theory")
+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;
+binary-orphans-0.1.8.0.patch)
+sha256sums=('f9b2d3acc01b89f71d2b246a6b3010ebab71e4fe309b3be8a8eac213422b43de'
+'d2f700f4d5b0a3aaf239139bc4abba85acdc2ab86ae3ff7fe345b95679998011')
+
+prepare() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+sed -i '/cp sapic/d' plugins/sapic/Makefile
+patch -p1 -i ../binary-orphans-0.1.8.0.patch
+}
+
+build() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+
+runhaskell Setup configure -O --enable-executable-dynamic --prefix=/usr \
+--docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \
+-fthreaded -ftest-coverage -f-build-tests
+runhaskell Setup build
+
+cd plugins/sapic
+make -j1
+}
+
+package() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+runhaskell Setup copy --destdir="${pkgdir}"
+
+install -Dm644 etc/filetype.vim 
"$pkgdir"/usr/share/vim/vimfiles/filetype.vim
+install -Dm644 etc/spthy.vim 
"$pkgdir"/usr/share/vim/vimfiles/syntax/spthy.vim
+install -Dm644 etc/sapic.vim 
"$pkgdir"/usr/share/vim/vimfiles/syntax/sapic.vim
+
+cd plugins/sapic
+install -Dm755 sapic "$pkgdir"/usr/bin/sapic
+}

Copied: 
tamarin-prover/repos/community-staging-i686/binary-orphans-0.1.8.0.patch (from 
rev 261010, tamarin-prover/trunk/binary-orphans-0.1.8.0.patch)
===
--- community-staging-i686/binary-orphans-0.1.8.0.patch 
(rev 0)
+++ community-staging-i686/binary-orphans-0.1.8.0.patch 2017-09-29 12:04:39 UTC 
(rev 261011)
@@ -0,0 +1,16 @@
+diff --git a/src/Web/Types.hs b/src/Web/Types.hs
+index 8efe669..95e75f3 100644
+--- a/src/Web/Types.hs
 b/src/Web/Types.hs
+@@ -79,11 +79,6 @@ import   Yesod.Static
+ import   Theory
+ 
+ 
+--- | Derived Instances to fix things
+-instance Bin.Binary ZonedTime where
+-  get = liftM2 ZonedTime Bin.get Bin.get
+-  put (ZonedTime d tod) = Bin.put d >> Bin.put tod
+-
+ --
+ -- Types
+ --

Copied: tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 
261010, tamarin-prover/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++

[arch-commits] Commit in tamarin-prover/repos (6 files)

2017-09-28 Thread Felix Yan 
Date: Thursday, September 28, 2017 @ 17:36:53
  Author: felixonmars
Revision: 260869

archrelease: copy trunk to community-staging-i686, community-staging-x86_64

Added:
  tamarin-prover/repos/community-staging-i686/
  tamarin-prover/repos/community-staging-i686/PKGBUILD
(from rev 260868, tamarin-prover/trunk/PKGBUILD)
  tamarin-prover/repos/community-staging-i686/binary-orphans-0.1.8.0.patch
(from rev 260868, tamarin-prover/trunk/binary-orphans-0.1.8.0.patch)
  tamarin-prover/repos/community-staging-x86_64/
  tamarin-prover/repos/community-staging-x86_64/PKGBUILD
(from rev 260868, tamarin-prover/trunk/PKGBUILD)
  tamarin-prover/repos/community-staging-x86_64/binary-orphans-0.1.8.0.patch
(from rev 260868, tamarin-prover/trunk/binary-orphans-0.1.8.0.patch)

---+
 community-staging-i686/PKGBUILD   |   54 
 community-staging-i686/binary-orphans-0.1.8.0.patch   |   16 
 community-staging-x86_64/PKGBUILD |   54 
 community-staging-x86_64/binary-orphans-0.1.8.0.patch |   16 
 4 files changed, 140 insertions(+)

Copied: tamarin-prover/repos/community-staging-i686/PKGBUILD (from rev 260868, 
tamarin-prover/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-09-28 17:36:53 UTC (rev 260869)
@@ -0,0 +1,54 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+pkgname=tamarin-prover
+pkgver=1.2.2
+pkgrel=22
+pkgdesc="The Tamarin prover for security protocol analysis"
+url="http://tamarin-prover.github.io;
+license=("GPL")
+arch=('i686' '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"
+ "haskell-lifted-base" "haskell-mtl" "haskell-resourcet" "haskell-safe"
+ "haskell-shakespeare" "haskell-text" "haskell-threads" "haskell-wai" 
"haskell-warp"
+ "haskell-yesod-core" "haskell-yesod-static" 
"haskell-tamarin-prover-utils"
+ "haskell-tamarin-prover-term" "haskell-tamarin-prover-theory")
+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;
+binary-orphans-0.1.8.0.patch)
+sha256sums=('f9b2d3acc01b89f71d2b246a6b3010ebab71e4fe309b3be8a8eac213422b43de'
+'d2f700f4d5b0a3aaf239139bc4abba85acdc2ab86ae3ff7fe345b95679998011')
+
+prepare() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+sed -i '/cp sapic/d' plugins/sapic/Makefile
+patch -p1 -i ../binary-orphans-0.1.8.0.patch
+}
+
+build() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+
+runhaskell Setup configure -O --enable-executable-dynamic --prefix=/usr \
+--docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \
+-fthreaded -ftest-coverage -f-build-tests
+runhaskell Setup build
+
+cd plugins/sapic
+make -j1
+}
+
+package() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+runhaskell Setup copy --destdir="${pkgdir}"
+
+install -Dm644 etc/filetype.vim 
"$pkgdir"/usr/share/vim/vimfiles/filetype.vim
+install -Dm644 etc/spthy.vim 
"$pkgdir"/usr/share/vim/vimfiles/syntax/spthy.vim
+install -Dm644 etc/sapic.vim 
"$pkgdir"/usr/share/vim/vimfiles/syntax/sapic.vim
+
+cd plugins/sapic
+install -Dm755 sapic "$pkgdir"/usr/bin/sapic
+}

Copied: 
tamarin-prover/repos/community-staging-i686/binary-orphans-0.1.8.0.patch (from 
rev 260868, tamarin-prover/trunk/binary-orphans-0.1.8.0.patch)
===
--- community-staging-i686/binary-orphans-0.1.8.0.patch 
(rev 0)
+++ community-staging-i686/binary-orphans-0.1.8.0.patch 2017-09-28 17:36:53 UTC 
(rev 260869)
@@ -0,0 +1,16 @@
+diff --git a/src/Web/Types.hs b/src/Web/Types.hs
+index 8efe669..95e75f3 100644
+--- a/src/Web/Types.hs
 b/src/Web/Types.hs
+@@ -79,11 +79,6 @@ import   Yesod.Static
+ import   Theory
+ 
+ 
+--- | Derived Instances to fix things
+-instance Bin.Binary ZonedTime where
+-  get = liftM2 ZonedTime Bin.get Bin.get
+-  put (ZonedTime d tod) = Bin.put d >> Bin.put tod
+-
+ --
+ -- Types
+ --

Copied: tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 
260868, tamarin-prover/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++

[arch-commits] Commit in tamarin-prover/repos (6 files)

2017-09-24 Thread Felix Yan 
Date: Monday, September 25, 2017 @ 01:57:07
  Author: felixonmars
Revision: 260488

archrelease: copy trunk to community-staging-i686, community-staging-x86_64

Added:
  tamarin-prover/repos/community-staging-i686/
  tamarin-prover/repos/community-staging-i686/PKGBUILD
(from rev 260487, tamarin-prover/trunk/PKGBUILD)
  tamarin-prover/repos/community-staging-i686/binary-orphans-0.1.8.0.patch
(from rev 260487, tamarin-prover/trunk/binary-orphans-0.1.8.0.patch)
  tamarin-prover/repos/community-staging-x86_64/
  tamarin-prover/repos/community-staging-x86_64/PKGBUILD
(from rev 260487, tamarin-prover/trunk/PKGBUILD)
  tamarin-prover/repos/community-staging-x86_64/binary-orphans-0.1.8.0.patch
(from rev 260487, tamarin-prover/trunk/binary-orphans-0.1.8.0.patch)

---+
 community-staging-i686/PKGBUILD   |   54 
 community-staging-i686/binary-orphans-0.1.8.0.patch   |   16 
 community-staging-x86_64/PKGBUILD |   54 
 community-staging-x86_64/binary-orphans-0.1.8.0.patch |   16 
 4 files changed, 140 insertions(+)

Copied: tamarin-prover/repos/community-staging-i686/PKGBUILD (from rev 260487, 
tamarin-prover/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-09-25 01:57:07 UTC (rev 260488)
@@ -0,0 +1,54 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+pkgname=tamarin-prover
+pkgver=1.2.2
+pkgrel=21
+pkgdesc="The Tamarin prover for security protocol analysis"
+url="http://tamarin-prover.github.io;
+license=("GPL")
+arch=('i686' '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"
+ "haskell-lifted-base" "haskell-mtl" "haskell-resourcet" "haskell-safe"
+ "haskell-shakespeare" "haskell-text" "haskell-threads" "haskell-wai" 
"haskell-warp"
+ "haskell-yesod-core" "haskell-yesod-static" 
"haskell-tamarin-prover-utils"
+ "haskell-tamarin-prover-term" "haskell-tamarin-prover-theory")
+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;
+binary-orphans-0.1.8.0.patch)
+sha256sums=('f9b2d3acc01b89f71d2b246a6b3010ebab71e4fe309b3be8a8eac213422b43de'
+'d2f700f4d5b0a3aaf239139bc4abba85acdc2ab86ae3ff7fe345b95679998011')
+
+prepare() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+sed -i '/cp sapic/d' plugins/sapic/Makefile
+patch -p1 -i ../binary-orphans-0.1.8.0.patch
+}
+
+build() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+
+runhaskell Setup configure -O --enable-executable-dynamic --prefix=/usr \
+--docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \
+-fthreaded -ftest-coverage -f-build-tests
+runhaskell Setup build
+
+cd plugins/sapic
+make -j1
+}
+
+package() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+runhaskell Setup copy --destdir="${pkgdir}"
+
+install -Dm644 etc/filetype.vim 
"$pkgdir"/usr/share/vim/vimfiles/filetype.vim
+install -Dm644 etc/spthy.vim 
"$pkgdir"/usr/share/vim/vimfiles/syntax/spthy.vim
+install -Dm644 etc/sapic.vim 
"$pkgdir"/usr/share/vim/vimfiles/syntax/sapic.vim
+
+cd plugins/sapic
+install -Dm755 sapic "$pkgdir"/usr/bin/sapic
+}

Copied: 
tamarin-prover/repos/community-staging-i686/binary-orphans-0.1.8.0.patch (from 
rev 260487, tamarin-prover/trunk/binary-orphans-0.1.8.0.patch)
===
--- community-staging-i686/binary-orphans-0.1.8.0.patch 
(rev 0)
+++ community-staging-i686/binary-orphans-0.1.8.0.patch 2017-09-25 01:57:07 UTC 
(rev 260488)
@@ -0,0 +1,16 @@
+diff --git a/src/Web/Types.hs b/src/Web/Types.hs
+index 8efe669..95e75f3 100644
+--- a/src/Web/Types.hs
 b/src/Web/Types.hs
+@@ -79,11 +79,6 @@ import   Yesod.Static
+ import   Theory
+ 
+ 
+--- | Derived Instances to fix things
+-instance Bin.Binary ZonedTime where
+-  get = liftM2 ZonedTime Bin.get Bin.get
+-  put (ZonedTime d tod) = Bin.put d >> Bin.put tod
+-
+ --
+ -- Types
+ --

Copied: tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 
260487, tamarin-prover/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++

[arch-commits] Commit in tamarin-prover/repos (6 files)

2017-09-21 Thread Felix Yan 
Date: Thursday, September 21, 2017 @ 15:28:57
  Author: felixonmars
Revision: 259207

archrelease: copy trunk to community-staging-i686, community-staging-x86_64

Added:
  tamarin-prover/repos/community-staging-i686/
  tamarin-prover/repos/community-staging-i686/PKGBUILD
(from rev 259206, tamarin-prover/trunk/PKGBUILD)
  tamarin-prover/repos/community-staging-i686/binary-orphans-0.1.8.0.patch
(from rev 259206, tamarin-prover/trunk/binary-orphans-0.1.8.0.patch)
  tamarin-prover/repos/community-staging-x86_64/
  tamarin-prover/repos/community-staging-x86_64/PKGBUILD
(from rev 259206, tamarin-prover/trunk/PKGBUILD)
  tamarin-prover/repos/community-staging-x86_64/binary-orphans-0.1.8.0.patch
(from rev 259206, tamarin-prover/trunk/binary-orphans-0.1.8.0.patch)

---+
 community-staging-i686/PKGBUILD   |   54 
 community-staging-i686/binary-orphans-0.1.8.0.patch   |   16 
 community-staging-x86_64/PKGBUILD |   54 
 community-staging-x86_64/binary-orphans-0.1.8.0.patch |   16 
 4 files changed, 140 insertions(+)

Copied: tamarin-prover/repos/community-staging-i686/PKGBUILD (from rev 259206, 
tamarin-prover/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-09-21 15:28:57 UTC (rev 259207)
@@ -0,0 +1,54 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+pkgname=tamarin-prover
+pkgver=1.2.2
+pkgrel=20
+pkgdesc="The Tamarin prover for security protocol analysis"
+url="http://tamarin-prover.github.io;
+license=("GPL")
+arch=('i686' '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"
+ "haskell-lifted-base" "haskell-mtl" "haskell-resourcet" "haskell-safe"
+ "haskell-shakespeare" "haskell-text" "haskell-threads" "haskell-wai" 
"haskell-warp"
+ "haskell-yesod-core" "haskell-yesod-static" 
"haskell-tamarin-prover-utils"
+ "haskell-tamarin-prover-term" "haskell-tamarin-prover-theory")
+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;
+binary-orphans-0.1.8.0.patch)
+sha256sums=('f9b2d3acc01b89f71d2b246a6b3010ebab71e4fe309b3be8a8eac213422b43de'
+'d2f700f4d5b0a3aaf239139bc4abba85acdc2ab86ae3ff7fe345b95679998011')
+
+prepare() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+sed -i '/cp sapic/d' plugins/sapic/Makefile
+patch -p1 -i ../binary-orphans-0.1.8.0.patch
+}
+
+build() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+
+runhaskell Setup configure -O --enable-executable-dynamic --prefix=/usr \
+--docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \
+-fthreaded -ftest-coverage -f-build-tests
+runhaskell Setup build
+
+cd plugins/sapic
+make -j1
+}
+
+package() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+runhaskell Setup copy --destdir="${pkgdir}"
+
+install -Dm644 etc/filetype.vim 
"$pkgdir"/usr/share/vim/vimfiles/filetype.vim
+install -Dm644 etc/spthy.vim 
"$pkgdir"/usr/share/vim/vimfiles/syntax/spthy.vim
+install -Dm644 etc/sapic.vim 
"$pkgdir"/usr/share/vim/vimfiles/syntax/sapic.vim
+
+cd plugins/sapic
+install -Dm755 sapic "$pkgdir"/usr/bin/sapic
+}

Copied: 
tamarin-prover/repos/community-staging-i686/binary-orphans-0.1.8.0.patch (from 
rev 259206, tamarin-prover/trunk/binary-orphans-0.1.8.0.patch)
===
--- community-staging-i686/binary-orphans-0.1.8.0.patch 
(rev 0)
+++ community-staging-i686/binary-orphans-0.1.8.0.patch 2017-09-21 15:28:57 UTC 
(rev 259207)
@@ -0,0 +1,16 @@
+diff --git a/src/Web/Types.hs b/src/Web/Types.hs
+index 8efe669..95e75f3 100644
+--- a/src/Web/Types.hs
 b/src/Web/Types.hs
+@@ -79,11 +79,6 @@ import   Yesod.Static
+ import   Theory
+ 
+ 
+--- | Derived Instances to fix things
+-instance Bin.Binary ZonedTime where
+-  get = liftM2 ZonedTime Bin.get Bin.get
+-  put (ZonedTime d tod) = Bin.put d >> Bin.put tod
+-
+ --
+ -- Types
+ --

Copied: tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 
259206, tamarin-prover/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++

[arch-commits] Commit in tamarin-prover/repos (6 files)

2017-09-16 Thread Felix Yan 
Date: Saturday, September 16, 2017 @ 16:27:58
  Author: felixonmars
Revision: 257929

archrelease: copy trunk to community-staging-i686, community-staging-x86_64

Added:
  tamarin-prover/repos/community-staging-i686/
  tamarin-prover/repos/community-staging-i686/PKGBUILD
(from rev 257928, tamarin-prover/trunk/PKGBUILD)
  tamarin-prover/repos/community-staging-i686/binary-orphans-0.1.8.0.patch
(from rev 257928, tamarin-prover/trunk/binary-orphans-0.1.8.0.patch)
  tamarin-prover/repos/community-staging-x86_64/
  tamarin-prover/repos/community-staging-x86_64/PKGBUILD
(from rev 257928, tamarin-prover/trunk/PKGBUILD)
  tamarin-prover/repos/community-staging-x86_64/binary-orphans-0.1.8.0.patch
(from rev 257928, tamarin-prover/trunk/binary-orphans-0.1.8.0.patch)

---+
 community-staging-i686/PKGBUILD   |   54 
 community-staging-i686/binary-orphans-0.1.8.0.patch   |   16 
 community-staging-x86_64/PKGBUILD |   54 
 community-staging-x86_64/binary-orphans-0.1.8.0.patch |   16 
 4 files changed, 140 insertions(+)

Copied: tamarin-prover/repos/community-staging-i686/PKGBUILD (from rev 257928, 
tamarin-prover/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-09-16 16:27:58 UTC (rev 257929)
@@ -0,0 +1,54 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+pkgname=tamarin-prover
+pkgver=1.2.2
+pkgrel=19
+pkgdesc="The Tamarin prover for security protocol analysis"
+url="http://tamarin-prover.github.io;
+license=("GPL")
+arch=('i686' '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"
+ "haskell-lifted-base" "haskell-mtl" "haskell-resourcet" "haskell-safe"
+ "haskell-shakespeare" "haskell-text" "haskell-threads" "haskell-wai" 
"haskell-warp"
+ "haskell-yesod-core" "haskell-yesod-static" 
"haskell-tamarin-prover-utils"
+ "haskell-tamarin-prover-term" "haskell-tamarin-prover-theory")
+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;
+binary-orphans-0.1.8.0.patch)
+sha256sums=('f9b2d3acc01b89f71d2b246a6b3010ebab71e4fe309b3be8a8eac213422b43de'
+'d2f700f4d5b0a3aaf239139bc4abba85acdc2ab86ae3ff7fe345b95679998011')
+
+prepare() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+sed -i '/cp sapic/d' plugins/sapic/Makefile
+patch -p1 -i ../binary-orphans-0.1.8.0.patch
+}
+
+build() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+
+runhaskell Setup configure -O --enable-executable-dynamic --prefix=/usr \
+--docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \
+-fthreaded -ftest-coverage -f-build-tests
+runhaskell Setup build
+
+cd plugins/sapic
+make -j1
+}
+
+package() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+runhaskell Setup copy --destdir="${pkgdir}"
+
+install -Dm644 etc/filetype.vim 
"$pkgdir"/usr/share/vim/vimfiles/filetype.vim
+install -Dm644 etc/spthy.vim 
"$pkgdir"/usr/share/vim/vimfiles/syntax/spthy.vim
+install -Dm644 etc/sapic.vim 
"$pkgdir"/usr/share/vim/vimfiles/syntax/sapic.vim
+
+cd plugins/sapic
+install -Dm755 sapic "$pkgdir"/usr/bin/sapic
+}

Copied: 
tamarin-prover/repos/community-staging-i686/binary-orphans-0.1.8.0.patch (from 
rev 257928, tamarin-prover/trunk/binary-orphans-0.1.8.0.patch)
===
--- community-staging-i686/binary-orphans-0.1.8.0.patch 
(rev 0)
+++ community-staging-i686/binary-orphans-0.1.8.0.patch 2017-09-16 16:27:58 UTC 
(rev 257929)
@@ -0,0 +1,16 @@
+diff --git a/src/Web/Types.hs b/src/Web/Types.hs
+index 8efe669..95e75f3 100644
+--- a/src/Web/Types.hs
 b/src/Web/Types.hs
+@@ -79,11 +79,6 @@ import   Yesod.Static
+ import   Theory
+ 
+ 
+--- | Derived Instances to fix things
+-instance Bin.Binary ZonedTime where
+-  get = liftM2 ZonedTime Bin.get Bin.get
+-  put (ZonedTime d tod) = Bin.put d >> Bin.put tod
+-
+ --
+ -- Types
+ --

Copied: tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 
257928, tamarin-prover/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++

[arch-commits] Commit in tamarin-prover/repos (6 files)

2017-09-16 Thread Felix Yan 
Date: Saturday, September 16, 2017 @ 10:59:20
  Author: felixonmars
Revision: 257775

archrelease: copy trunk to community-staging-i686, community-staging-x86_64

Added:
  tamarin-prover/repos/community-staging-i686/
  tamarin-prover/repos/community-staging-i686/PKGBUILD
(from rev 257774, tamarin-prover/trunk/PKGBUILD)
  tamarin-prover/repos/community-staging-i686/binary-orphans-0.1.8.0.patch
(from rev 257774, tamarin-prover/trunk/binary-orphans-0.1.8.0.patch)
  tamarin-prover/repos/community-staging-x86_64/
  tamarin-prover/repos/community-staging-x86_64/PKGBUILD
(from rev 257774, tamarin-prover/trunk/PKGBUILD)
  tamarin-prover/repos/community-staging-x86_64/binary-orphans-0.1.8.0.patch
(from rev 257774, tamarin-prover/trunk/binary-orphans-0.1.8.0.patch)

---+
 community-staging-i686/PKGBUILD   |   54 
 community-staging-i686/binary-orphans-0.1.8.0.patch   |   16 
 community-staging-x86_64/PKGBUILD |   54 
 community-staging-x86_64/binary-orphans-0.1.8.0.patch |   16 
 4 files changed, 140 insertions(+)

Copied: tamarin-prover/repos/community-staging-i686/PKGBUILD (from rev 257774, 
tamarin-prover/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-09-16 10:59:20 UTC (rev 257775)
@@ -0,0 +1,54 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+pkgname=tamarin-prover
+pkgver=1.2.2
+pkgrel=18
+pkgdesc="The Tamarin prover for security protocol analysis"
+url="http://tamarin-prover.github.io;
+license=("GPL")
+arch=('i686' '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"
+ "haskell-lifted-base" "haskell-mtl" "haskell-resourcet" "haskell-safe"
+ "haskell-shakespeare" "haskell-text" "haskell-threads" "haskell-wai" 
"haskell-warp"
+ "haskell-yesod-core" "haskell-yesod-static" 
"haskell-tamarin-prover-utils"
+ "haskell-tamarin-prover-term" "haskell-tamarin-prover-theory")
+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;
+binary-orphans-0.1.8.0.patch)
+sha256sums=('f9b2d3acc01b89f71d2b246a6b3010ebab71e4fe309b3be8a8eac213422b43de'
+'d2f700f4d5b0a3aaf239139bc4abba85acdc2ab86ae3ff7fe345b95679998011')
+
+prepare() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+sed -i '/cp sapic/d' plugins/sapic/Makefile
+patch -p1 -i ../binary-orphans-0.1.8.0.patch
+}
+
+build() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+
+runhaskell Setup configure -O --enable-executable-dynamic --prefix=/usr \
+--docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \
+-fthreaded -ftest-coverage -f-build-tests
+runhaskell Setup build
+
+cd plugins/sapic
+make -j1
+}
+
+package() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+runhaskell Setup copy --destdir="${pkgdir}"
+
+install -Dm644 etc/filetype.vim 
"$pkgdir"/usr/share/vim/vimfiles/filetype.vim
+install -Dm644 etc/spthy.vim 
"$pkgdir"/usr/share/vim/vimfiles/syntax/spthy.vim
+install -Dm644 etc/sapic.vim 
"$pkgdir"/usr/share/vim/vimfiles/syntax/sapic.vim
+
+cd plugins/sapic
+install -Dm755 sapic "$pkgdir"/usr/bin/sapic
+}

Copied: 
tamarin-prover/repos/community-staging-i686/binary-orphans-0.1.8.0.patch (from 
rev 257774, tamarin-prover/trunk/binary-orphans-0.1.8.0.patch)
===
--- community-staging-i686/binary-orphans-0.1.8.0.patch 
(rev 0)
+++ community-staging-i686/binary-orphans-0.1.8.0.patch 2017-09-16 10:59:20 UTC 
(rev 257775)
@@ -0,0 +1,16 @@
+diff --git a/src/Web/Types.hs b/src/Web/Types.hs
+index 8efe669..95e75f3 100644
+--- a/src/Web/Types.hs
 b/src/Web/Types.hs
+@@ -79,11 +79,6 @@ import   Yesod.Static
+ import   Theory
+ 
+ 
+--- | Derived Instances to fix things
+-instance Bin.Binary ZonedTime where
+-  get = liftM2 ZonedTime Bin.get Bin.get
+-  put (ZonedTime d tod) = Bin.put d >> Bin.put tod
+-
+ --
+ -- Types
+ --

Copied: tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 
257774, tamarin-prover/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++

[arch-commits] Commit in tamarin-prover/repos (6 files)

2017-09-15 Thread Felix Yan 
Date: Friday, September 15, 2017 @ 06:52:50
  Author: felixonmars
Revision: 257619

archrelease: copy trunk to community-staging-i686, community-staging-x86_64

Added:
  tamarin-prover/repos/community-staging-i686/
  tamarin-prover/repos/community-staging-i686/PKGBUILD
(from rev 257618, tamarin-prover/trunk/PKGBUILD)
  tamarin-prover/repos/community-staging-i686/binary-orphans-0.1.8.0.patch
(from rev 257618, tamarin-prover/trunk/binary-orphans-0.1.8.0.patch)
  tamarin-prover/repos/community-staging-x86_64/
  tamarin-prover/repos/community-staging-x86_64/PKGBUILD
(from rev 257618, tamarin-prover/trunk/PKGBUILD)
  tamarin-prover/repos/community-staging-x86_64/binary-orphans-0.1.8.0.patch
(from rev 257618, tamarin-prover/trunk/binary-orphans-0.1.8.0.patch)

---+
 community-staging-i686/PKGBUILD   |   54 
 community-staging-i686/binary-orphans-0.1.8.0.patch   |   16 
 community-staging-x86_64/PKGBUILD |   54 
 community-staging-x86_64/binary-orphans-0.1.8.0.patch |   16 
 4 files changed, 140 insertions(+)

Copied: tamarin-prover/repos/community-staging-i686/PKGBUILD (from rev 257618, 
tamarin-prover/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-09-15 06:52:50 UTC (rev 257619)
@@ -0,0 +1,54 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+pkgname=tamarin-prover
+pkgver=1.2.2
+pkgrel=17
+pkgdesc="The Tamarin prover for security protocol analysis"
+url="http://tamarin-prover.github.io;
+license=("GPL")
+arch=('i686' '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"
+ "haskell-lifted-base" "haskell-mtl" "haskell-resourcet" "haskell-safe"
+ "haskell-shakespeare" "haskell-text" "haskell-threads" "haskell-wai" 
"haskell-warp"
+ "haskell-yesod-core" "haskell-yesod-static" 
"haskell-tamarin-prover-utils"
+ "haskell-tamarin-prover-term" "haskell-tamarin-prover-theory")
+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;
+binary-orphans-0.1.8.0.patch)
+sha256sums=('f9b2d3acc01b89f71d2b246a6b3010ebab71e4fe309b3be8a8eac213422b43de'
+'d2f700f4d5b0a3aaf239139bc4abba85acdc2ab86ae3ff7fe345b95679998011')
+
+prepare() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+sed -i '/cp sapic/d' plugins/sapic/Makefile
+patch -p1 -i ../binary-orphans-0.1.8.0.patch
+}
+
+build() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+
+runhaskell Setup configure -O --enable-executable-dynamic --prefix=/usr \
+--docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \
+-fthreaded -ftest-coverage -f-build-tests
+runhaskell Setup build
+
+cd plugins/sapic
+make -j1
+}
+
+package() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+runhaskell Setup copy --destdir="${pkgdir}"
+
+install -Dm644 etc/filetype.vim 
"$pkgdir"/usr/share/vim/vimfiles/filetype.vim
+install -Dm644 etc/spthy.vim 
"$pkgdir"/usr/share/vim/vimfiles/syntax/spthy.vim
+install -Dm644 etc/sapic.vim 
"$pkgdir"/usr/share/vim/vimfiles/syntax/sapic.vim
+
+cd plugins/sapic
+install -Dm755 sapic "$pkgdir"/usr/bin/sapic
+}

Copied: 
tamarin-prover/repos/community-staging-i686/binary-orphans-0.1.8.0.patch (from 
rev 257618, tamarin-prover/trunk/binary-orphans-0.1.8.0.patch)
===
--- community-staging-i686/binary-orphans-0.1.8.0.patch 
(rev 0)
+++ community-staging-i686/binary-orphans-0.1.8.0.patch 2017-09-15 06:52:50 UTC 
(rev 257619)
@@ -0,0 +1,16 @@
+diff --git a/src/Web/Types.hs b/src/Web/Types.hs
+index 8efe669..95e75f3 100644
+--- a/src/Web/Types.hs
 b/src/Web/Types.hs
+@@ -79,11 +79,6 @@ import   Yesod.Static
+ import   Theory
+ 
+ 
+--- | Derived Instances to fix things
+-instance Bin.Binary ZonedTime where
+-  get = liftM2 ZonedTime Bin.get Bin.get
+-  put (ZonedTime d tod) = Bin.put d >> Bin.put tod
+-
+ --
+ -- Types
+ --

Copied: tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 
257618, tamarin-prover/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++

[arch-commits] Commit in tamarin-prover/repos (6 files)

2017-09-13 Thread Felix Yan 
Date: Wednesday, September 13, 2017 @ 08:49:51
  Author: felixonmars
Revision: 257350

archrelease: copy trunk to community-staging-i686, community-staging-x86_64

Added:
  tamarin-prover/repos/community-staging-i686/
  tamarin-prover/repos/community-staging-i686/PKGBUILD
(from rev 257349, tamarin-prover/trunk/PKGBUILD)
  tamarin-prover/repos/community-staging-i686/binary-orphans-0.1.8.0.patch
(from rev 257349, tamarin-prover/trunk/binary-orphans-0.1.8.0.patch)
  tamarin-prover/repos/community-staging-x86_64/
  tamarin-prover/repos/community-staging-x86_64/PKGBUILD
(from rev 257349, tamarin-prover/trunk/PKGBUILD)
  tamarin-prover/repos/community-staging-x86_64/binary-orphans-0.1.8.0.patch
(from rev 257349, tamarin-prover/trunk/binary-orphans-0.1.8.0.patch)

---+
 community-staging-i686/PKGBUILD   |   54 
 community-staging-i686/binary-orphans-0.1.8.0.patch   |   16 
 community-staging-x86_64/PKGBUILD |   54 
 community-staging-x86_64/binary-orphans-0.1.8.0.patch |   16 
 4 files changed, 140 insertions(+)

Copied: tamarin-prover/repos/community-staging-i686/PKGBUILD (from rev 257349, 
tamarin-prover/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-09-13 08:49:51 UTC (rev 257350)
@@ -0,0 +1,54 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+pkgname=tamarin-prover
+pkgver=1.2.2
+pkgrel=16
+pkgdesc="The Tamarin prover for security protocol analysis"
+url="http://tamarin-prover.github.io;
+license=("GPL")
+arch=('i686' '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"
+ "haskell-lifted-base" "haskell-mtl" "haskell-resourcet" "haskell-safe"
+ "haskell-shakespeare" "haskell-text" "haskell-threads" "haskell-wai" 
"haskell-warp"
+ "haskell-yesod-core" "haskell-yesod-static" 
"haskell-tamarin-prover-utils"
+ "haskell-tamarin-prover-term" "haskell-tamarin-prover-theory")
+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;
+binary-orphans-0.1.8.0.patch)
+sha256sums=('f9b2d3acc01b89f71d2b246a6b3010ebab71e4fe309b3be8a8eac213422b43de'
+'d2f700f4d5b0a3aaf239139bc4abba85acdc2ab86ae3ff7fe345b95679998011')
+
+prepare() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+sed -i '/cp sapic/d' plugins/sapic/Makefile
+patch -p1 -i ../binary-orphans-0.1.8.0.patch
+}
+
+build() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+
+runhaskell Setup configure -O --enable-executable-dynamic --prefix=/usr \
+--docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \
+-fthreaded -ftest-coverage -f-build-tests
+runhaskell Setup build
+
+cd plugins/sapic
+make -j1
+}
+
+package() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+runhaskell Setup copy --destdir="${pkgdir}"
+
+install -Dm644 etc/filetype.vim 
"$pkgdir"/usr/share/vim/vimfiles/filetype.vim
+install -Dm644 etc/spthy.vim 
"$pkgdir"/usr/share/vim/vimfiles/syntax/spthy.vim
+install -Dm644 etc/sapic.vim 
"$pkgdir"/usr/share/vim/vimfiles/syntax/sapic.vim
+
+cd plugins/sapic
+install -Dm755 sapic "$pkgdir"/usr/bin/sapic
+}

Copied: 
tamarin-prover/repos/community-staging-i686/binary-orphans-0.1.8.0.patch (from 
rev 257349, tamarin-prover/trunk/binary-orphans-0.1.8.0.patch)
===
--- community-staging-i686/binary-orphans-0.1.8.0.patch 
(rev 0)
+++ community-staging-i686/binary-orphans-0.1.8.0.patch 2017-09-13 08:49:51 UTC 
(rev 257350)
@@ -0,0 +1,16 @@
+diff --git a/src/Web/Types.hs b/src/Web/Types.hs
+index 8efe669..95e75f3 100644
+--- a/src/Web/Types.hs
 b/src/Web/Types.hs
+@@ -79,11 +79,6 @@ import   Yesod.Static
+ import   Theory
+ 
+ 
+--- | Derived Instances to fix things
+-instance Bin.Binary ZonedTime where
+-  get = liftM2 ZonedTime Bin.get Bin.get
+-  put (ZonedTime d tod) = Bin.put d >> Bin.put tod
+-
+ --
+ -- Types
+ --

Copied: tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 
257349, tamarin-prover/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++

[arch-commits] Commit in tamarin-prover/repos (6 files)

2017-09-12 Thread Felix Yan 
Date: Wednesday, September 13, 2017 @ 05:15:03
  Author: felixonmars
Revision: 257204

archrelease: copy trunk to community-staging-i686, community-staging-x86_64

Added:
  tamarin-prover/repos/community-staging-i686/
  tamarin-prover/repos/community-staging-i686/PKGBUILD
(from rev 257203, tamarin-prover/trunk/PKGBUILD)
  tamarin-prover/repos/community-staging-i686/binary-orphans-0.1.8.0.patch
(from rev 257203, tamarin-prover/trunk/binary-orphans-0.1.8.0.patch)
  tamarin-prover/repos/community-staging-x86_64/
  tamarin-prover/repos/community-staging-x86_64/PKGBUILD
(from rev 257203, tamarin-prover/trunk/PKGBUILD)
  tamarin-prover/repos/community-staging-x86_64/binary-orphans-0.1.8.0.patch
(from rev 257203, tamarin-prover/trunk/binary-orphans-0.1.8.0.patch)

---+
 community-staging-i686/PKGBUILD   |   54 
 community-staging-i686/binary-orphans-0.1.8.0.patch   |   16 
 community-staging-x86_64/PKGBUILD |   54 
 community-staging-x86_64/binary-orphans-0.1.8.0.patch |   16 
 4 files changed, 140 insertions(+)

Copied: tamarin-prover/repos/community-staging-i686/PKGBUILD (from rev 257203, 
tamarin-prover/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-09-13 05:15:03 UTC (rev 257204)
@@ -0,0 +1,54 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+pkgname=tamarin-prover
+pkgver=1.2.2
+pkgrel=15
+pkgdesc="The Tamarin prover for security protocol analysis"
+url="http://tamarin-prover.github.io;
+license=("GPL")
+arch=('i686' '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"
+ "haskell-lifted-base" "haskell-mtl" "haskell-resourcet" "haskell-safe"
+ "haskell-shakespeare" "haskell-text" "haskell-threads" "haskell-wai" 
"haskell-warp"
+ "haskell-yesod-core" "haskell-yesod-static" 
"haskell-tamarin-prover-utils"
+ "haskell-tamarin-prover-term" "haskell-tamarin-prover-theory")
+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;
+binary-orphans-0.1.8.0.patch)
+sha256sums=('f9b2d3acc01b89f71d2b246a6b3010ebab71e4fe309b3be8a8eac213422b43de'
+'d2f700f4d5b0a3aaf239139bc4abba85acdc2ab86ae3ff7fe345b95679998011')
+
+prepare() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+sed -i '/cp sapic/d' plugins/sapic/Makefile
+patch -p1 -i ../binary-orphans-0.1.8.0.patch
+}
+
+build() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+
+runhaskell Setup configure -O --enable-executable-dynamic --prefix=/usr \
+--docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \
+-fthreaded -ftest-coverage -f-build-tests
+runhaskell Setup build
+
+cd plugins/sapic
+make -j1
+}
+
+package() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+runhaskell Setup copy --destdir="${pkgdir}"
+
+install -Dm644 etc/filetype.vim 
"$pkgdir"/usr/share/vim/vimfiles/filetype.vim
+install -Dm644 etc/spthy.vim 
"$pkgdir"/usr/share/vim/vimfiles/syntax/spthy.vim
+install -Dm644 etc/sapic.vim 
"$pkgdir"/usr/share/vim/vimfiles/syntax/sapic.vim
+
+cd plugins/sapic
+install -Dm755 sapic "$pkgdir"/usr/bin/sapic
+}

Copied: 
tamarin-prover/repos/community-staging-i686/binary-orphans-0.1.8.0.patch (from 
rev 257203, tamarin-prover/trunk/binary-orphans-0.1.8.0.patch)
===
--- community-staging-i686/binary-orphans-0.1.8.0.patch 
(rev 0)
+++ community-staging-i686/binary-orphans-0.1.8.0.patch 2017-09-13 05:15:03 UTC 
(rev 257204)
@@ -0,0 +1,16 @@
+diff --git a/src/Web/Types.hs b/src/Web/Types.hs
+index 8efe669..95e75f3 100644
+--- a/src/Web/Types.hs
 b/src/Web/Types.hs
+@@ -79,11 +79,6 @@ import   Yesod.Static
+ import   Theory
+ 
+ 
+--- | Derived Instances to fix things
+-instance Bin.Binary ZonedTime where
+-  get = liftM2 ZonedTime Bin.get Bin.get
+-  put (ZonedTime d tod) = Bin.put d >> Bin.put tod
+-
+ --
+ -- Types
+ --

Copied: tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 
257203, tamarin-prover/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++