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

[Felix Yan]

    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 <arch-haskell at haskell.org>
 
 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() {