Date: Saturday, July 23, 2022 @ 06:04:20 Author: felixonmars Revision: 1255432
upgpkg: agda-stdlib 1.7.1-3: rebuild with agda 2.6.2.2 Modified: agda-stdlib/trunk/PKGBUILD ----------+ PKGBUILD | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2022-07-23 06:02:39 UTC (rev 1255431) +++ PKGBUILD 2022-07-23 06:04:20 UTC (rev 1255432) @@ -3,8 +3,8 @@ pkgname=agda-stdlib pkgver=1.7.1 -_agdaver=2.6.2.1 -pkgrel=2 +_agdaver=2.6.2.2 +pkgrel=3 pkgdesc="Agda standard libraries" url="https://github.com/agda/agda-stdlib" license=("MIT")