Date: Saturday, February 16, 2019 @ 21:18:02 Author: felixonmars Revision: 433849
upgpkg: idris 1.3.1-38 rebuild with hashable-time 0.2.0.2 Modified: idris/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2019-02-16 21:15:35 UTC (rev 433848) +++ PKGBUILD 2019-02-16 21:18:02 UTC (rev 433849) @@ -3,7 +3,7 @@ pkgname=idris pkgver=1.3.1 -pkgrel=37 +pkgrel=38 pkgdesc="Functional Programming Language with Dependent Types" url="http://www.idris-lang.org/" license=("BSD")