Date: Tuesday, March 22, 2016 @ 13:15:41 Author: fyan Revision: 167892
upgpkg: idris 0.10.3-3 rebuild with language-javascript-0.6.0.2, pandoc-1.17.0.1, zip-archive-0.3 Modified: idris/trunk/PKGBUILD ----------+ PKGBUILD | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2016-03-22 11:34:55 UTC (rev 167891) +++ PKGBUILD 2016-03-22 12:15:41 UTC (rev 167892) @@ -4,7 +4,7 @@ pkgname=idris pkgver=0.10.3 -pkgrel=2 +pkgrel=3 pkgdesc="Functional Programming Language with Dependent Types" url="http://www.idris-lang.org/"; license=("custom:BSD3") @@ -21,6 +21,10 @@ source=("http://hackage.haskell.org/packages/archive/${pkgname}/${pkgver}/${pkgname}-${pkgver}.tar.gz";) sha256sums=('63fd7bade38873e3c9933fa883bacdedffc73c5fec5a6e79a981ccf7ae990e85') +prepare() { + sed -i 's/zip-archive > 0.2.3.5 && < 0.2.4/zip-archive > 0.2.3.5 \&\& < 0.4/' ${pkgname}-${pkgver}/${pkgname}.cabal +} + build() { cd "${srcdir}/${pkgname}-${pkgver}"
