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

[Felix Yan]

    Date: Sunday, March 18, 2018 @ 18:58:55
  Author: felixonmars
Revision: 309082

upgpkg: agda-stdlib 0.15-1

Modified:
  agda-stdlib/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2018-03-18 18:57:27 UTC (rev 309081)
+++ PKGBUILD	2018-03-18 18:58:55 UTC (rev 309082)
@@ -3,7 +3,7 @@
 # Contributor: Arch Haskell Team <arch-haskell at haskell.org>
 
 pkgname=agda-stdlib
-pkgver=0.14
+pkgver=0.15
 pkgrel=1
 pkgdesc="Agda standard libraries"
 url="https://github.com/agda/agda-stdlib"
@@ -13,7 +13,7 @@
 makedepends=('ghc' 'haskell-filemanip')
 options=('staticlibs')
 source=("$pkgname-$pkgver.tar.gz::https://github.com/agda/agda-stdlib/archive/v$pkgver.tar.gz")
-sha512sums=('fcb785110c72fa8d298346150827766bdcb308502a4b915b56b6bb43aff9b5f93fd23932e08a78d97ec723ad0f2ea49c7f132b3b8cc8a535f9cde49387c95c51')
+sha512sums=('4274b73ea2fa3bd778e345ee9459fa31c01b47ddf127b733efd572ca65a531ab49bdcd09cff2600b9229aad23cee55324653c62280421676036ff587f64abb4b')
 
 build() {
     cd $pkgname-$pkgver