Date: Sunday, April 2, 2023 @ 04:22:09 Author: felixonmars Revision: 1432698
upgpkg: agda 2.6.3-1 Modified: agda/trunk/PKGBUILD ----------+ PKGBUILD | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2023-04-02 04:19:12 UTC (rev 1432697) +++ PKGBUILD 2023-04-02 04:22:09 UTC (rev 1432698) @@ -3,26 +3,26 @@ _hkgname=Agda pkgname=agda -pkgver=2.6.2.2 -pkgrel=65 +pkgver=2.6.3 +pkgrel=1 pkgdesc="A dependently typed functional programming language and proof assistant" url="https://wiki.portal.chalmers.se/agda/"; license=("custom") arch=('x86_64') -depends=('ghc-libs' 'ghc' 'haskell-aeson' 'haskell-async' 'haskell-blaze-html' 'haskell-boxes' - 'haskell-case-insensitive' 'haskell-cpphs' 'haskell-data-hash' 'haskell-edit-distance' - 'haskell-equivalence' 'haskell-gitrev' 'haskell-hashable' 'haskell-hashtables' - 'haskell-monad-control' 'haskell-murmur-hash' 'haskell-parallel' 'haskell-regex-tdfa' - 'haskell-split' 'haskell-strict' 'haskell-unordered-containers' 'haskell-uri-encode' - 'haskell-zlib') +depends=('ghc-libs' 'ghc' 'haskell-stmonadtrans' 'haskell-aeson' 'haskell-async' + 'haskell-blaze-html' 'haskell-boxes' 'haskell-case-insensitive' 'haskell-cpphs' + 'haskell-data-hash' 'haskell-dlist' 'haskell-edit-distance' 'haskell-equivalence' + 'haskell-gitrev' 'haskell-hashable' 'haskell-monad-control' 'haskell-murmur-hash' + 'haskell-parallel' 'haskell-regex-tdfa' 'haskell-split' 'haskell-strict' + 'haskell-time-compat' 'haskell-unordered-containers' 'haskell-uri-encode' 'haskell-vector' + 'haskell-vector-hashtables' 'haskell-zlib') optdepends=('agda-stdlib: for standard library') -makedepends=('alex' 'happy' 'ghc' 'uusi' 'haskell-filemanip') +makedepends=('alex' 'happy' 'ghc') source=("https://hackage.haskell.org/packages/archive/$_hkgname/$pkgver/$_hkgname-$pkgver.tar.gz";) -sha512sums=('f54dcc0fd6dea106db4a04cc3b0b80f404f0613b5075849db17a1b4b5e176ed6d183bfdaf464fbcbc6e0807c1af0c8748f96552d48e537444109be54730685a8') +sha512sums=('005152c19b05d858a54d146b75c9a88bf87e7d1cbcaee237ea92f273c8c59e9cf7177d6d553ddf6246a74c7ab318ceac909c0bb981599fc5bb156a7b79d1234d') prepare() { cd $_hkgname-$pkgver - uusi -u aeson $_hkgname.cabal sed -i '/fno-warn-overlapping-patterns/a \ , "-dynamic"' src/full/Agda/Compiler/MAlonzo/Compiler.hs }
