Date: Thursday, March 1, 2018 @ 06:38:46 Author: felixonmars Revision: 300896
upgpkg: tamarin-prover 1.2.3-1 rebuild with tamarin-prover-term,1.2.3 tamarin-prover-theory,1.2.3 tamarin-prover-utils,1.2.3 tamarin-prover,1.2.3 Modified: tamarin-prover/trunk/PKGBUILD Deleted: tamarin-prover/trunk/binary-orphans-0.1.8.0.patch ------------------------------+ PKGBUILD | 25 +++++++++++-------------- binary-orphans-0.1.8.0.patch | 16 ---------------- 2 files changed, 11 insertions(+), 30 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2018-03-01 06:02:27 UTC (rev 300895) +++ PKGBUILD 2018-03-01 06:38:46 UTC (rev 300896) @@ -3,30 +3,27 @@ # Contributor: Arch Haskell Team <[email protected]> pkgname=tamarin-prover -pkgver=1.2.2 -pkgrel=97 +pkgver=1.2.3 +pkgrel=1 pkgdesc="The Tamarin prover for security protocol analysis" url="http://tamarin-prover.github.io"; license=("GPL") 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" - "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") +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-parsec' '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') +source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz";) +sha512sums=('3ec371f0abf1a391bbc2be0b3e3940b5f634515e443a6535ab3b8a5c6514004bbada35838b63e2c1e5edcbbdb230eae5be03dd8464f8516d3301bf02aad3d5ff') prepare() { cd "${srcdir}/${pkgname}-${pkgver}" sed -i '/cp sapic/d' plugins/sapic/Makefile - patch -p1 -i ../binary-orphans-0.1.8.0.patch } build() { Deleted: binary-orphans-0.1.8.0.patch =================================================================== --- binary-orphans-0.1.8.0.patch 2018-03-01 06:02:27 UTC (rev 300895) +++ binary-orphans-0.1.8.0.patch 2018-03-01 06:38:46 UTC (rev 300896) @@ -1,16 +0,0 @@ -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 - ------------------------------------------------------------------------------
