[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