[arch-commits] Commit in idris/trunk (PKGBUILD)

Felix Yan felixonmars at archlinux.org
Tue Feb 7 22:34:26 UTC 2017


    Date: Tuesday, February 7, 2017 @ 22:34:25
  Author: felixonmars
Revision: 210943

upgpkg: idris 0.99-24

rebuild with scientific,0.3.4.10

Modified:
  idris/trunk/PKGBUILD

----------+
 PKGBUILD |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2017-02-07 22:30:18 UTC (rev 210942)
+++ PKGBUILD	2017-02-07 22:34:25 UTC (rev 210943)
@@ -4,7 +4,7 @@
 
 pkgname=idris
 pkgver=0.99
-pkgrel=23
+pkgrel=24
 pkgdesc="Functional Programming Language with Dependent Types"
 url="http://www.idris-lang.org/"
 license=("custom:BSD3")



More information about the arch-commits mailing list