[arch-commits] Commit in idris/trunk (PKGBUILD)
Felix Yan
fyan at archlinux.org
Sat Mar 26 10:33:26 UTC 2016
Date: Saturday, March 26, 2016 @ 11:33:26
Author: fyan
Revision: 168457
upgpkg: idris 0.11-1
rebuild with cryptohash-0.11.9, idris-0.11
Modified:
idris/trunk/PKGBUILD
----------+
PKGBUILD | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2016-03-26 10:06:12 UTC (rev 168456)
+++ PKGBUILD 2016-03-26 10:33:26 UTC (rev 168457)
@@ -3,8 +3,8 @@
# Contributor: Arch Haskell Team <arch-haskell at haskell.org>
pkgname=idris
-pkgver=0.10.3
-pkgrel=5
+pkgver=0.11
+pkgrel=1
pkgdesc="Functional Programming Language with Dependent Types"
url="http://www.idris-lang.org/"
license=("custom:BSD3")
@@ -19,7 +19,7 @@
"haskell-vector" "haskell-vector-binary-instances" "haskell-zip-archive")
options=('staticlibs')
source=("http://hackage.haskell.org/packages/archive/${pkgname}/${pkgver}/${pkgname}-${pkgver}.tar.gz")
-sha256sums=('63fd7bade38873e3c9933fa883bacdedffc73c5fec5a6e79a981ccf7ae990e85')
+sha256sums=('e0ea4df41f63f9d4292fe2ae9d3031cbc511a96c80e43240df16374335261a2a')
prepare() {
sed -i 's/zip-archive > 0.2.3.5 && < 0.2.4/zip-archive > 0.2.3.5 \&\& < 0.4/' ${pkgname}-${pkgver}/${pkgname}.cabal
More information about the arch-commits
mailing list