Date: Saturday, March 6, 2021 @ 17:48:03 Author: felixonmars Revision: 884492
upgpkg: agda-stdlib 1.4-3: rebuild with Agda 2.6.1.3 Modified: agda-stdlib/trunk/PKGBUILD ----------+ PKGBUILD | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2021-03-06 17:39:55 UTC (rev 884491) +++ PKGBUILD 2021-03-06 17:48:03 UTC (rev 884492) @@ -3,8 +3,8 @@ pkgname=agda-stdlib pkgver=1.4 -_agdaver=2.6.1.2 -pkgrel=2 +_agdaver=2.6.1.3 +pkgrel=3 pkgdesc="Agda standard libraries" url="https://github.com/agda/agda-stdlib" license=("MIT") @@ -27,7 +27,7 @@ cd $pkgname-$pkgver runhaskell Setup configure -O --enable-shared --enable-executable-dynamic --disable-library-vanilla - runhaskell Setup build + runhaskell Setup build $MAKEFLAGS dist/build/GenerateEverything/GenerateEverything