Date: Friday, May 13, 2016 @ 07:10:34 Author: fyan Revision: 175107 upgpkg: idris 0.11.1-5
rebuild with cabal-helper-0.7.0.1, cryptohash-sha256-0.11.7.2, either-4.4.1.1, extra-1.4.6, math-functions-0.1.7.0, git-annex-6.20160511, streaming-commons-0.1.15.5, tls-1.3.8, xml-conduit-1.3.5 Modified: idris/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2016-05-13 04:38:56 UTC (rev 175106) +++ PKGBUILD 2016-05-13 05:10:34 UTC (rev 175107) @@ -4,7 +4,7 @@ pkgname=idris pkgver=0.11.1 -pkgrel=4 +pkgrel=5 pkgdesc="Functional Programming Language with Dependent Types" url="http://www.idris-lang.org/"; license=("custom:BSD3")
