[arch-commits] Commit in agda-stdlib/trunk (PKGBUILD)

[Felix Yan via arch-commits]

    Date: Thursday, July 7, 2022 @ 22:37:08
  Author: felixonmars
Revision: 1248381

upgpkg: agda-stdlib 1.7.1-2: rebuild with agda 2.6.2.1

Modified:
  agda-stdlib/trunk/PKGBUILD

----------+
 PKGBUILD |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD    2022-07-07 22:33:21 UTC (rev 1248380)
+++ PKGBUILD    2022-07-07 22:37:08 UTC (rev 1248381)
@@ -3,8 +3,8 @@
 
 pkgname=agda-stdlib
 pkgver=1.7.1
-_agdaver=2.6.2
-pkgrel=1
+_agdaver=2.6.2.1
+pkgrel=2
 pkgdesc="Agda standard libraries"
 url="https://github.com/agda/agda-stdlib";
 license=("MIT")