Date: Tuesday, May 10, 2016 @ 17:53:45 Author: fyan Revision: 174571 upgpkg: idris 0.11.1-4
rebuild with auto-update-0.1.4, hpack-0.14.0, pandoc-crossref-0.2.1.2, pipes-4.1.9, tls-1.3.7 Modified: idris/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2016-05-10 15:51:59 UTC (rev 174570) +++ PKGBUILD 2016-05-10 15:53:45 UTC (rev 174571) @@ -4,7 +4,7 @@ pkgname=idris pkgver=0.11.1 -pkgrel=3 +pkgrel=4 pkgdesc="Functional Programming Language with Dependent Types" url="http://www.idris-lang.org/"; license=("custom:BSD3")
