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

[Felix Yan]

    Date: Wednesday, July 20, 2016 @ 06:34:57
  Author: felixonmars
Revision: 183447

upgpkg: agda 2.5.1.1-2

rebuild with Glob-0.7.10, QuickCheck-2.9.1, aeson-compat-0.3.5.1, bifunctors-5.4.1, clientsession-0.9.1.2, cmark-0.5.3.1, cookie-0.4.2.1, css-text-0.1.2.2, dlist-0.8, dns-2.0.4, extra-1.4.12, fgl-5.5.3.0, generic-deriving-1.10.6, generics-sop-0.2.2.0, graphviz-2999.18.1.2, http-client-0.5.1, http2-1.6.1, js-jquery-3.1.0, math-functions-0.2.0.1, mono-traversable-1.0.0.1, pandoc-1.17.2, pandoc-citeproc-0.10.1, pandoc-crossref-0.2.2.1, path-io-1.2.0, persistent-template-2.5.1.4, retry-0.7.4.1, scientific-0.3.4.9, tasty-rerun-1.1.6, wai-extra-3.0.16.1, yaml-0.8.18.1, zip-archive-0.3.0.4

Modified:
  agda/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2016-07-20 05:54:05 UTC (rev 183446)
+++ PKGBUILD	2016-07-20 06:34:57 UTC (rev 183447)
@@ -5,7 +5,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.5.1.1
-pkgrel=1
+pkgrel=2
 pkgdesc="A dependently typed functional programming language and proof assistant"
 url="http://wiki.portal.chalmers.se/agda/"
 license=("custom")
@@ -24,7 +24,9 @@
 sha256sums=('563b8063fc94349b56ae1867e973f1751db0e9a8997af7ede93d3c3a8c66a6b0')
 
 prepare() {
-    sed -i 's/, EdisonAPI == 1.3/, EdisonAPI >= 1.3/' $_hkgname-$pkgver/$_hkgname.cabal
+    sed -e 's/, EdisonAPI == 1.3/, EdisonAPI >= 1.3/' \
+        -e 's/, QuickCheck >= 2.8.2 && < 2.9/, QuickCheck >= 2.8.2 \&\& < 2.10/' \
+        -i $_hkgname-$pkgver/$_hkgname.cabal
 
     # TODO: Find a better way!
     # Build it twice to compile the agdai file.