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 + ------------------------------------------------------------------------------
