Date: Saturday, March 26, 2016 @ 11:33:26 Author: fyan Revision: 168457
upgpkg: idris 0.11-1 rebuild with cryptohash-0.11.9, idris-0.11 Modified: idris/trunk/PKGBUILD ----------+ PKGBUILD | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2016-03-26 10:06:12 UTC (rev 168456) +++ PKGBUILD 2016-03-26 10:33:26 UTC (rev 168457) @@ -3,8 +3,8 @@ # Contributor: Arch Haskell Team <arch-hask...@haskell.org> pkgname=idris -pkgver=0.10.3 -pkgrel=5 +pkgver=0.11 +pkgrel=1 pkgdesc="Functional Programming Language with Dependent Types" url="http://www.idris-lang.org/" license=("custom:BSD3") @@ -19,7 +19,7 @@ "haskell-vector" "haskell-vector-binary-instances" "haskell-zip-archive") options=('staticlibs') source=("http://hackage.haskell.org/packages/archive/${pkgname}/${pkgver}/${pkgname}-${pkgver}.tar.gz") -sha256sums=('63fd7bade38873e3c9933fa883bacdedffc73c5fec5a6e79a981ccf7ae990e85') +sha256sums=('e0ea4df41f63f9d4292fe2ae9d3031cbc511a96c80e43240df16374335261a2a') 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