Date: Wednesday, February 8, 2017 @ 08:09:37 Author: felixonmars Revision: 211152
upgpkg: agda 2.5.2-2 rebuild with STMonadTrans,0.4.1 Modified: agda/trunk/PKGBUILD ----------+ PKGBUILD | 13 ++++++------- 1 file changed, 6 insertions(+), 7 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2017-02-08 08:08:02 UTC (rev 211151) +++ PKGBUILD 2017-02-08 08:09:37 UTC (rev 211152) @@ -5,7 +5,7 @@ _hkgname=Agda pkgname=agda pkgver=2.5.2 -pkgrel=1 +pkgrel=2 pkgdesc="A dependently typed functional programming language and proof assistant" url="http://wiki.portal.chalmers.se/agda/"; license=("custom") @@ -13,13 +13,12 @@ depends=('gmp' 'libffi' 'zlib') makedepends=("ghc=8.0.1" "alex" "happy" "haskell-boxes" "haskell-cpphs" "haskell-data-hash" "haskell-edisonapi" "haskell-edisoncore" "haskell-edit-distance" "haskell-equivalence" - "haskell-filepath" "haskell-geniplate-mirror" "haskell-gitrev" "haskell-hashable" - "haskell-hashtables" "haskell-ieee754" "haskell-monadplus" "haskell-mtl" - "haskell-murmur-hash" "haskell-parallel" "haskell-regex-tdfa" "haskell-strict" - "haskell-text" "haskell-transformers-compat" "haskell-unordered-containers" - "haskell-zlib") + "haskell-geniplate-mirror" "haskell-gitrev" "haskell-hashable" "haskell-hashtables" + "haskell-ieee754" "haskell-monadplus" "haskell-mtl" "haskell-murmur-hash" + "haskell-parallel" "haskell-regex-tdfa" "haskell-strict" "haskell-text" + "haskell-transformers-compat" "haskell-unordered-containers" "haskell-zlib") optdepends=('agda-stdlib: for standard library') -source=("http://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz";) +source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz";) sha256sums=('d812cec3bf7f03c4b27248572475c7e060154102771a8434cc11ba89f5691439') prepare() {
