Date: Sunday, April 2, 2023 @ 04:39:02 Author: felixonmars Revision: 1432700
upgpkg: agda-stdlib 1.7.2-1 Modified: agda-stdlib/trunk/PKGBUILD ----------+ PKGBUILD | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2023-04-02 04:22:17 UTC (rev 1432699) +++ PKGBUILD 2023-04-02 04:39:02 UTC (rev 1432700) @@ -2,9 +2,9 @@ # Contributor: Arch Haskell Team <[email protected]> pkgname=agda-stdlib -pkgver=1.7.1 -_agdaver=2.6.2.2 -pkgrel=4 +pkgver=1.7.2 +_agdaver=2.6.3 +pkgrel=1 pkgdesc="Agda standard libraries" url="https://github.com/agda/agda-stdlib"; license=("MIT") @@ -14,7 +14,7 @@ options=('staticlibs') source=("$pkgname-$pkgver.tar.gz::https://github.com/agda/agda-stdlib/archive/v$pkgver.tar.gz"; standard-library.agda-lib.in) -sha512sums=('fd0fc0b6a97dd4a51bd0208691800046ecdd200d9e57c83b0c3dae720c2e687942fee7c28be0cfdbdc0e54cefd9c2f1d1a683961bb368a48e5a02bf1bd36866a' +sha512sums=('518a7241df74bea217ebd80e753fdafaa05f5b4acf5e0df6202c8027dcd3906282335cfa5becf8484c9e06ef7eb335c7c3f1685e36106e229cca0551ba7748f2' '92fad2f9b941af4506bb0d5d9d533d09823df89f7530ee5d787b741816ba07e68f25b96d6653ae6ed949ec23484c1fba47a63cc6401311462a55b5e06cfc032c') prepare() {
