Date: Saturday, March 5, 2016 @ 11:29:14 Author: fyan Revision: 165128
upgpkg: agda 2.4.2.5-4 rebuild with cpphs-1.20.1, path-0.5.6 Modified: agda/trunk/PKGBUILD ----------+ PKGBUILD | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2016-03-05 10:26:57 UTC (rev 165127) +++ PKGBUILD 2016-03-05 10:29:14 UTC (rev 165128) @@ -5,7 +5,7 @@ _hkgname=Agda pkgname=agda pkgver=2.4.2.5 -pkgrel=3 +pkgrel=4 pkgdesc="A dependently typed functional programming language and proof assistant" url="http://wiki.portal.chalmers.se/agda/"; license=("custom") @@ -25,8 +25,9 @@ '51e2d2160861ec6b8bd879f85cbbd00f9ed7a564b307870992370457e307f3ac') prepare() { - sed -i 's/transformers-compat >= 0.3.3.3 && < 0.5/transformers-compat >= 0.3.3.3 \&\& < 0.6/' \ - ${_hkgname}-${pkgver}/${_hkgname}.cabal + sed -e 's/transformers-compat >= 0.3.3.3 && < 0.5/transformers-compat >= 0.3.3.3 \&\& < 0.6/' \ + -e 's/cpphs >= 1.19 && < 1.20/cpphs >= 1.19 \&\& < 1.21/' \ + -i ${_hkgname}-${pkgver}/${_hkgname}.cabal cd ${_hkgname}-${pkgver} # https://github.com/agda/agda/issues/1779
