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.
