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

Felix Yan felixonmars at archlinux.org
Sat Apr 25 08:44:22 UTC 2020


    Date: Saturday, April 25, 2020 @ 08:44:22
  Author: felixonmars
Revision: 619841

upgpkg: cryptol 2.8.0-103: rebuild with ghc 8.10.1, protolude 0.3.0, repline 0.3.0.0, ghc-lib-parser-ex 8.10.0.1, th-desugar 1.11, singletons 2.7

Modified:
  cryptol/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2020-04-25 07:48:17 UTC (rev 619840)
+++ PKGBUILD	2020-04-25 08:44:22 UTC (rev 619841)
@@ -2,13 +2,13 @@
 
 pkgname=cryptol
 pkgver=2.8.0
-pkgrel=102
+pkgrel=103
 pkgdesc="The Language of Cryptography"
 url="https://www.cryptol.net"
 license=("BSD")
 arch=('x86_64')
 depends=('ghc-libs' 'z3' 'haskell-base-compat' 'haskell-cryptohash-sha1' 'haskell-gitrev'
-         'haskell-graphscc' 'haskell-heredoc' 'haskell-monad-control' 'haskell-monadlib'
+         'haskell-graphscc' 'haskell-haskeline0.7' 'haskell-heredoc' 'haskell-monad-control' 'haskell-monadlib'
          'haskell-panic' 'haskell-random' 'haskell-sbv' 'haskell-simple-smt' 'haskell-strict'
          'haskell-tf-random' 'haskell-transformers-base' 'haskell-ansi-terminal'
          'haskell-blaze-html')
@@ -21,8 +21,7 @@
 prepare() {
     cd $pkgname-$pkgver
     patch -p1 -i ../ghc-8.8.patch
-    sed -i 's/< *0.11/<1/' $pkgname.cabal
-    #sed -i 's/import Prelude.Compat/import Prelude.Compat hiding ( fail )/' src/Cryptol/Parser/{NoPat,ParserUtils}.hs
+    sed -i 's/< *0.11/<1/;s/haskeline$/haskeline < 0.8/' $pkgname.cabal
 }
 
 build() {



More information about the arch-commits mailing list