Date: Saturday, March 5, 2016 @ 05:04:28 Author: fyan Revision: 164884
upgpkg: agda 2.4.2.5-3 rebuild with conduit-1.2.6.3, conduit-extra-1.1.11, cpphs-1.20, resourcet-1.1.7.3, streaming-commons-0.1.15.2 Modified: agda/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2016-03-05 03:49:01 UTC (rev 164883) +++ PKGBUILD 2016-03-05 04:04:28 UTC (rev 164884) @@ -5,7 +5,7 @@ _hkgname=Agda pkgname=agda pkgver=2.4.2.5 -pkgrel=2 +pkgrel=3 pkgdesc="A dependently typed functional programming language and proof assistant" url="http://wiki.portal.chalmers.se/agda/" license=("custom")