Date: Tuesday, October 23, 2018 @ 16:33:08 Author: felixonmars Revision: 398682
upgpkg: idris 1.3.1-1 Modified: idris/trunk/PKGBUILD ----------+ PKGBUILD | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2018-10-23 16:32:47 UTC (rev 398681) +++ PKGBUILD 2018-10-23 16:33:08 UTC (rev 398682) @@ -2,8 +2,8 @@ # Contributor: Arch Haskell Team <[email protected]> pkgname=idris -pkgver=1.3.0 -pkgrel=77 +pkgver=1.3.1 +pkgrel=1 pkgdesc="Functional Programming Language with Dependent Types" url="http://www.idris-lang.org/"; license=("custom:BSD3") @@ -19,7 +19,7 @@ makedepends=('ghc' 'haskell-tagged' 'haskell-tasty' 'haskell-tasty-golden' 'haskell-tasty-rerun' 'nodejs') source=("$pkgname-$pkgver.tar.gz::https://github.com/idris-lang/Idris-dev/archive/v$pkgver.tar.gz";) -sha512sums=('d015d643e0c121702c8e1a8a27db0a4f071fae35437bb4835314e70499b1eae123ab92d8272f0b91fae6d03b46cceee887e27935c950341c0905a4cdb43cbb84') +sha512sums=('555c7fdfad7e4f69b1aa4f6237cf4432831cd74e33342bd802ff3bc763118178b742b386035f8c071820b5e2bc71c5372c4acb356835155677046d360b722746') prepare() { cd Idris-dev-$pkgver @@ -26,7 +26,7 @@ sed -i '1ioverride IDRIS := env LD_PRELOAD=$(shell ls ../../dist/build/libHSidris-*-ghc*.so) $(IDRIS)' \ libs/*/Makefile - sed -i -e 's/<.*1.3/<2/' -e 's/<.*2.7/<3/' -e 's/< *0.6/<1/' idris.cabal + sed -i -e 's/< *1.4/<2/' -e 's/< *0.6/<1/' idris.cabal sed -i '1i{-# language NoMonadFailDesugaring #-}' src/Idris/Core/CaseTree.hs src/Idris/Parser/Stack.hs src/Idris/Elab/Term.hs }
