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

[Felix Yan]

    Date: Friday, June 24, 2016 @ 17:41:59
  Author: felixonmars
Revision: 181032

upgpkg: agda 2.5.1.1-1

rebuild with Agda-2.5.1.1, enclosed-exceptions-1.0.2, hakyll-4.8.3.2, hscolour-1.24.1, semigroups-0.18.2, shakespeare-2.0.9, warp-tls-3.2.2, texmath-0.8.6.4, yaml-0.8.18, yesod-core-1.4.21

Modified:
  agda/trunk/PKGBUILD

----------+
 PKGBUILD |    6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2016-06-24 17:07:21 UTC (rev 181031)
+++ PKGBUILD	2016-06-24 17:41:59 UTC (rev 181032)
@@ -4,8 +4,8 @@
 
 _hkgname=Agda
 pkgname=agda
-pkgver=2.5.1
-pkgrel=6
+pkgver=2.5.1.1
+pkgrel=1
 pkgdesc="A dependently typed functional programming language and proof assistant"
 url="http://wiki.portal.chalmers.se/agda/"
 license=("custom")
@@ -21,7 +21,7 @@
              "haskell-unordered-containers" "haskell-zlib")
 optdepends=('agda-stdlib: for standard library')
 source=("http://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz")
-sha256sums=('ee4658eafb514460d598322fa98528d1af6e25e5aa51843bb473c0d8a325c0c8')
+sha256sums=('563b8063fc94349b56ae1867e973f1751db0e9a8997af7ede93d3c3a8c66a6b0')
 
 prepare() {
     sed -i 's/, EdisonAPI == 1.3/, EdisonAPI >= 1.3/' $_hkgname-$pkgver/$_hkgname.cabal