Date: Friday, June 10, 2016 @ 10:35:20 Author: fyan Revision: 179125 upgpkg: agda 2.5.1-6
rebuild with persistent-2.5, http-api-data-0.2.3, microlens-0.4.4.1, monads-tf-0.1.0.3, persistent-sqlite-2.5.0.2, persistent-template-2.5.1.3, unordered-containers-0.2.7.1, yaml-0.8.17.2 Modified: agda/trunk/PKGBUILD ----------+ PKGBUILD | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2016-06-10 08:09:03 UTC (rev 179124) +++ PKGBUILD 2016-06-10 08:35:20 UTC (rev 179125) @@ -5,7 +5,7 @@ _hkgname=Agda pkgname=agda pkgver=2.5.1 -pkgrel=5 +pkgrel=6 pkgdesc="A dependently typed functional programming language and proof assistant" url="http://wiki.portal.chalmers.se/agda/"; license=("custom") @@ -24,6 +24,8 @@ sha256sums=('ee4658eafb514460d598322fa98528d1af6e25e5aa51843bb473c0d8a325c0c8') prepare() { + sed -i 's/, EdisonAPI == 1.3/, EdisonAPI >= 1.3/' $_hkgname-$pkgver/$_hkgname.cabal + # TODO: Find a better way! # Build it twice to compile the agdai file. cp -a ${_hkgname}-${pkgver}{,-tmp}
