Date: Friday, May 28, 2021 @ 15:35:56 Author: felixonmars Revision: 949937
upgpkg: agda-stdlib 1.6-1 Modified: agda-stdlib/trunk/PKGBUILD ----------+ PKGBUILD | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2021-05-28 15:35:04 UTC (rev 949936) +++ PKGBUILD 2021-05-28 15:35:56 UTC (rev 949937) @@ -2,7 +2,7 @@ # Contributor: Arch Haskell Team <arch-hask...@haskell.org> pkgname=agda-stdlib -pkgver=1.5 +pkgver=1.6 _agdaver=2.6.1.3 pkgrel=1 pkgdesc="Agda standard libraries" @@ -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=('7c9b39403c6b744c6f3d0b61fdbc3e3bbf729642224ceda44a3c4185a07782b2dc28766e1bdc0bf3181b5c610a9225dd07603c881476645cbcdc9d9dde912f7c' +sha512sums=('58bbe1bde03b5a5ca265931537b00bc6ae749fd637a99138600fb6d62809e02ef444657864fcbf477854a4cfcbd38e9b3f8ee7391a2e996cdca84caebf2d01fe' '92fad2f9b941af4506bb0d5d9d533d09823df89f7530ee5d787b741816ba07e68f25b96d6653ae6ed949ec23484c1fba47a63cc6401311462a55b5e06cfc032c') prepare() {