Date: Wednesday, October 17, 2018 @ 09:49:49 Author: felixonmars Revision: 395031
upgpkg: cryptol 2.6.0-48 rebuild with ghc 8.6.1 Modified: cryptol/trunk/PKGBUILD ----------+ PKGBUILD | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2018-10-17 09:23:59 UTC (rev 395030) +++ PKGBUILD 2018-10-17 09:49:49 UTC (rev 395031) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.6.0 -pkgrel=47 +pkgrel=48 pkgdesc="The Language of Cryptography" url="http://www.cryptol.net"; license=("custom:BSD3") @@ -18,6 +18,7 @@ prepare() { cd $pkgname-$pkgver sed -i 's/<.*0.10/<1/' $pkgname.cabal + sed -i '1i{-# language NoMonadFailDesugaring #-}' src/Cryptol/ModuleSystem/Renamer.hs src/Cryptol/Prims/Eval.hs src/Cryptol/TypeCheck/Infer.hs src/Cryptol/TypeCheck/CheckModuleInstance.hs src/Cryptol/Transform/Specialize.hs src/Cryptol/REPL/Monad.hs src/Cryptol/REPL/Command.hs } build() {
