Date: Tuesday, January 24, 2017 @ 16:30:27 Author: felixonmars Revision: 208910
upgpkg: agda-stdlib 0.13-1 Modified: agda-stdlib/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2017-01-24 15:51:20 UTC (rev 208909) +++ PKGBUILD 2017-01-24 16:30:27 UTC (rev 208910) @@ -3,7 +3,7 @@ # Contributor: Arch Haskell Team <[email protected]> pkgname=agda-stdlib -pkgver=0.12 +pkgver=0.13 pkgrel=1 pkgdesc="Agda standard libraries" url="https://github.com/agda/agda-stdlib";
