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
