[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