Date: Friday, May 18, 2018 @ 06:20:48 Author: felixonmars Revision: 324193
upgpkg: haskell-presburger 1.3.1-4 rebuild with ghc 8.4.2 Modified: haskell-presburger/trunk/PKGBUILD ----------+ PKGBUILD | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2018-05-18 06:20:18 UTC (rev 324192) +++ PKGBUILD 2018-05-18 06:20:48 UTC (rev 324193) @@ -5,7 +5,7 @@ _hkgname=presburger pkgname=haskell-presburger pkgver=1.3.1 -pkgrel=3 +pkgrel=4 pkgdesc="A decision procedure for quantifier-free linear arithmetic" url="https://github.com/yav/presburger"; license=("custom:BSD3") @@ -15,6 +15,11 @@ source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz";) sha512sums=('37659133b05452119b5bcb52111ceef41d4f54effe95f2c19164b807c3fcfb027aaf1c7f47d295ce9a2f57d1b8a5814a17e91f8814b3e963364bdcfb7aa5c1c0') +prepare() { + cd $_hkgname-$pkgver + sed -i '/import Data.Map (Map)/i import Prelude hiding ((<>))' src/Data/Integer/SAT.hs +} + build() { cd "${srcdir}/${_hkgname}-${pkgver}"
