[arch-commits] Commit in idris/trunk (PKGBUILD)
Felix Yan
fyan at archlinux.org
Fri May 13 05:10:34 UTC 2016
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")
More information about the arch-commits
mailing list