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

Felix Yan felixonmars at archlinux.org
Wed Feb 8 08:09:37 UTC 2017


    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() {



More information about the arch-commits mailing list