[arch-commits] Commit in idris/trunk (PKGBUILD)
Felix Yan
fyan at archlinux.org
Sun Mar 20 16:15:59 UTC 2016
Date: Sunday, March 20, 2016 @ 17:15:59
Author: fyan
Revision: 167724
upgpkg: idris 0.10.3-2
rebuild with network-uri-2.6.1.0, pandoc-citeproc-0.9.1.1, texmath-0.8.5
Modified:
idris/trunk/PKGBUILD
----------+
PKGBUILD | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2016-03-20 15:20:07 UTC (rev 167723)
+++ PKGBUILD 2016-03-20 16:15:59 UTC (rev 167724)
@@ -4,7 +4,7 @@
pkgname=idris
pkgver=0.10.3
-pkgrel=1
+pkgrel=2
pkgdesc="Functional Programming Language with Dependent Types"
url="http://www.idris-lang.org/"
license=("custom:BSD3")
More information about the arch-commits
mailing list