Date: Tuesday, November 10, 2020 @ 18:25:47 Author: felixonmars Revision: 749717
upgpkg: agda-stdlib 1.4-2: rebuild with Agda 2.6.1.2 Modified: agda-stdlib/trunk/PKGBUILD ----------+ PKGBUILD | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2020-11-10 18:23:21 UTC (rev 749716) +++ PKGBUILD 2020-11-10 18:25:47 UTC (rev 749717) @@ -3,14 +3,14 @@ pkgname=agda-stdlib pkgver=1.4 -_agdaver=2.6.1.1 -pkgrel=1 +_agdaver=2.6.1.2 +pkgrel=2 pkgdesc="Agda standard libraries" url="https://github.com/agda/agda-stdlib"; license=("MIT") arch=('x86_64') depends=("agda=$_agdaver") -makedepends=('ghc' 'haskell-filemanip') +makedepends=('ghc' 'uusi' 'haskell-filemanip') options=('staticlibs') source=("$pkgname-$pkgver.tar.gz::https://github.com/agda/agda-stdlib/archive/v$pkgver.tar.gz"; standard-library.agda-lib.in) @@ -20,7 +20,7 @@ prepare() { cd $pkgname-$pkgver rm standard-library.agda-lib - sed -i 's/< *4.14/<5/' lib.cabal + uusi lib.cabal } build() {
