Date: Friday, October 14, 2022 @ 00:44:52 Author: felixonmars Revision: 1328146
upgpkg: agda 2.6.2.2-36: rebuild with aeson 2.1.0.0 Modified: agda/trunk/PKGBUILD ----------+ PKGBUILD | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2022-10-14 00:31:52 UTC (rev 1328145) +++ PKGBUILD 2022-10-14 00:44:52 UTC (rev 1328146) @@ -4,7 +4,7 @@ _hkgname=Agda pkgname=agda pkgver=2.6.2.2 -pkgrel=35 +pkgrel=36 pkgdesc="A dependently typed functional programming language and proof assistant" url="https://wiki.portal.chalmers.se/agda/"; license=("custom") @@ -16,12 +16,13 @@ 'haskell-split' 'haskell-strict' 'haskell-unordered-containers' 'haskell-uri-encode' 'haskell-zlib') optdepends=('agda-stdlib: for standard library') -makedepends=('alex' 'happy' 'ghc' 'haskell-filemanip') +makedepends=('alex' 'happy' 'ghc' 'uusi' 'haskell-filemanip') source=("https://hackage.haskell.org/packages/archive/$_hkgname/$pkgver/$_hkgname-$pkgver.tar.gz";) sha512sums=('f54dcc0fd6dea106db4a04cc3b0b80f404f0613b5075849db17a1b4b5e176ed6d183bfdaf464fbcbc6e0807c1af0c8748f96552d48e537444109be54730685a8') prepare() { cd $_hkgname-$pkgver + uusi -u aeson $_hkgname.cabal sed -i '/fno-warn-overlapping-patterns/a \ , "-dynamic"' src/full/Agda/Compiler/MAlonzo/Compiler.hs }
