Date: Thursday, September 22, 2022 @ 20:05:42 Author: felixonmars Revision: 1309094
upgpkg: agda-stdlib 1.7.1-4: fix invalid buildtoolver in .BUILDINFO Modified: agda-stdlib/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2022-09-22 20:00:16 UTC (rev 1309093) +++ PKGBUILD 2022-09-22 20:05:42 UTC (rev 1309094) @@ -4,7 +4,7 @@ pkgname=agda-stdlib pkgver=1.7.1 _agdaver=2.6.2.2 -pkgrel=3 +pkgrel=4 pkgdesc="Agda standard libraries" url="https://github.com/agda/agda-stdlib"; license=("MIT")
