[arch-commits] Commit in tamarin-prover/trunk (PKGBUILD)

[Felix Yan]

    Date: Wednesday, June 30, 2021 @ 15:43:35
  Author: felixonmars
Revision: 967998

upgpkg: tamarin-prover 1.6.0-225: rebuild with ghc 9.0.1

Modified:
  tamarin-prover/trunk/PKGBUILD

----------+
 PKGBUILD |   11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2021-06-30 15:40:27 UTC (rev 967997)
+++ PKGBUILD	2021-06-30 15:43:35 UTC (rev 967998)
@@ -3,7 +3,7 @@
 
 pkgname=tamarin-prover
 pkgver=1.6.0
-pkgrel=224
+pkgrel=225
 pkgdesc="The Tamarin prover for security protocol analysis"
 url="https://tamarin-prover.github.io"
 license=("GPL")
@@ -11,7 +11,7 @@
 depends=('ghc-libs' 'graphviz' 'maude' 'haskell-hunit' 'haskell-binary-orphans' 'haskell-binary-instances'
          'haskell-blaze-builder' 'haskell-blaze-html' 'haskell-cmdargs' 'haskell-conduit'
          'haskell-fclabels' 'haskell-file-embed' 'haskell-gitrev' 'haskell-http-types'
-         'haskell-lifted-base' 'haskell-monad-unlift' 'haskell-resourcet' 'haskell-safe'
+         'haskell-lifted-base' 'haskell-resourcet' 'haskell-safe'
          'haskell-shakespeare' 'haskell-threads' 'haskell-wai' 'haskell-warp' 'haskell-yesod-core'
          'haskell-yesod-static' 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term'
          'haskell-tamarin-prover-theory' 'haskell-tamarin-prover-sapic')
@@ -18,13 +18,16 @@
 optdepends=('ocaml: for sapic support')
 makedepends=('ghc' 'ocaml>=4.11.0')
 source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz"
-        maude-3.1.patch)
+        maude-3.1.patch
+        remove-monad-unlift.patch::https://github.com/tamarin-prover/tamarin-prover/pull/421.patch)
 sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e'
-            '1ef5e4c370a0c5f5541d50600604ba7adc566c2f5cf415cdb844842bb10b343edd00aa5aa654f8e55355c80f48a34382c87c3fba4adca0c77e726f407f3815c3')
+            '1ef5e4c370a0c5f5541d50600604ba7adc566c2f5cf415cdb844842bb10b343edd00aa5aa654f8e55355c80f48a34382c87c3fba4adca0c77e726f407f3815c3'
+            '45121081ea373df5d5c1be5abc52850100343b2874e07b7fa68addb411477ee43fdbc5e9147b8bb2be118d0765a3fb9c5a7f53a902a44140cc13976cc2257e30')
 
 prepare() {
     cd $pkgname-$pkgver
     patch -p1 -i ../maude-3.1.patch
+    patch -p1 -i ../remove-monad-unlift.patch
     sed -i '/cp sapic/d' plugins/sapic/Makefile
 }