Date: Wednesday, September 23, 2020 @ 23:00:03 Author: felixonmars Revision: 711642
upgpkg: agda-stdlib 1.4-1 Modified: agda-stdlib/trunk/PKGBUILD ----------+ PKGBUILD | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2020-09-23 22:59:46 UTC (rev 711641) +++ PKGBUILD 2020-09-23 23:00:03 UTC (rev 711642) @@ -2,9 +2,9 @@ # Contributor: Arch Haskell Team <[email protected]> pkgname=agda-stdlib -pkgver=1.3 +pkgver=1.4 _agdaver=2.6.1.1 -pkgrel=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=('a1b78bd0e4bbca4cfa8c565cf14f05177cacbb28b63fae98bbdce482bca385a169c7aae0ac14973faf186e812abf7d8af47bfeb80110d9b0f671e1a475dbf109' +sha512sums=('90c05d54eaf1d7c78d00f73044afa1f3b4d99df622d40b3cea88fe280f0770ccaeddd787d8fb384c150123f592bb6a7ec24b842a9fcc2936f581d847928223ca' '92fad2f9b941af4506bb0d5d9d533d09823df89f7530ee5d787b741816ba07e68f25b96d6653ae6ed949ec23484c1fba47a63cc6401311462a55b5e06cfc032c') prepare() {
