Date: Thursday, April 14, 2016 @ 17:03:15 Author: fyan Revision: 171008
upgpkg: idris 0.11-6 rebuild with StateVar-1.1.0.4, authenticate-1.3.3.1, binary-tagged-0.1.4.0, bytestring-tree-builder-0.2.6, git-annex-6.20160412, polyparse-1.12 Modified: idris/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2016-04-14 15:00:37 UTC (rev 171007) +++ PKGBUILD 2016-04-14 15:03:15 UTC (rev 171008) @@ -4,7 +4,7 @@ pkgname=idris pkgver=0.11 -pkgrel=5 +pkgrel=6 pkgdesc="Functional Programming Language with Dependent Types" url="http://www.idris-lang.org/"; license=("custom:BSD3")
