Date: Tuesday, March 1, 2016 @ 13:38:48 Author: fyan Revision: 163897
upgpkg: idris 0.10.2-1 Modified: idris/trunk/PKGBUILD ----------+ PKGBUILD | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2016-03-01 11:57:25 UTC (rev 163896) +++ PKGBUILD 2016-03-01 12:38:48 UTC (rev 163897) @@ -3,8 +3,8 @@ # Contributor: Arch Haskell Team <[email protected]> pkgname=idris -pkgver=0.10 -pkgrel=11 +pkgver=0.10.2 +pkgrel=1 pkgdesc="Functional Programming Language with Dependent Types" url="http://www.idris-lang.org/"; license=("custom:BSD3") @@ -19,12 +19,8 @@ "haskell-vector-binary-instances" "haskell-zip-archive") options=('staticlibs') source=("http://hackage.haskell.org/packages/archive/${pkgname}/${pkgver}/${pkgname}-${pkgver}.tar.gz";) -sha256sums=('5593feca2cdd00ff819f37135da496111b3af06b664f4cd1f4aecba6ac6e6a10') +sha256sums=('797f848d073b14772e20b13507272a2bf490644e005a978423c4bf057d021d19') -prepare() { - sed -i "s/, async < 2.1/, async < 2.2/" ${pkgname}-${pkgver}/${pkgname}.cabal -} - build() { cd "${srcdir}/${pkgname}-${pkgver}"
