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() {
