[arch-commits] Commit in tamarin-prover/trunk (PKGBUILD binary-orphans-0.1.8.0.patch)

[Felix Yan]

    Date: Wednesday, September 13, 2017 @ 05:14:23
  Author: felixonmars
Revision: 257203

upgpkg: tamarin-prover 1.2.2-15

rebuild with binary-orphans,0.1.8.0

Added:
  tamarin-prover/trunk/binary-orphans-0.1.8.0.patch
Modified:
  tamarin-prover/trunk/PKGBUILD

------------------------------+
 PKGBUILD                     |    9 ++++++---
 binary-orphans-0.1.8.0.patch |   16 ++++++++++++++++
 2 files changed, 22 insertions(+), 3 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2017-09-13 05:12:53 UTC (rev 257202)
+++ PKGBUILD	2017-09-13 05:14:23 UTC (rev 257203)
@@ -4,7 +4,7 @@
 
 pkgname=tamarin-prover
 pkgver=1.2.2
-pkgrel=14
+pkgrel=15
 pkgdesc="The Tamarin prover for security protocol analysis"
 url="http://tamarin-prover.github.io"
 license=("GPL")
@@ -18,12 +18,15 @@
          "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")
-sha256sums=('f9b2d3acc01b89f71d2b246a6b3010ebab71e4fe309b3be8a8eac213422b43de')
+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() {

Added: binary-orphans-0.1.8.0.patch
===================================================================
--- binary-orphans-0.1.8.0.patch	                        (rev 0)
+++ binary-orphans-0.1.8.0.patch	2017-09-13 05:14:23 UTC (rev 257203)
@@ -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
+ ------------------------------------------------------------------------------