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

[Felix Yan]

    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 <arch-haskell at haskell.org>
 
 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
- ------------------------------------------------------------------------------