Date: Wednesday, June 6, 2018 @ 09:00:58 Author: felixonmars Revision: 340964
upgpkg: idris 1.3.0-10 rebuild with network 2.7.0.0 Modified: idris/trunk/PKGBUILD ----------+ PKGBUILD | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2018-06-06 08:48:31 UTC (rev 340963) +++ PKGBUILD 2018-06-06 09:00:58 UTC (rev 340964) @@ -4,7 +4,7 @@ pkgname=idris pkgver=1.3.0 -pkgrel=9 +pkgrel=10 pkgdesc="Functional Programming Language with Dependent Types" url="http://www.idris-lang.org/"; license=("custom:BSD3") @@ -27,7 +27,7 @@ sed -i '1ioverride IDRIS := env LD_PRELOAD=$(shell ls ../../dist/build/libHSidris-*-ghc*.so) $(IDRIS)' \ libs/*/Makefile - sed -i 's/<.*1.3/<2/' idris.cabal + sed -i -e 's/<.*1.3/<2/' -e 's/<.*2.7/<3/' idris.cabal } build() {
