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

[Felix Yan]

    Date: Tuesday, November 10, 2020 @ 18:25:47
  Author: felixonmars
Revision: 749717

upgpkg: agda-stdlib 1.4-2: rebuild with Agda 2.6.1.2

Modified:
  agda-stdlib/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2020-11-10 18:23:21 UTC (rev 749716)
+++ PKGBUILD	2020-11-10 18:25:47 UTC (rev 749717)
@@ -3,14 +3,14 @@
 
 pkgname=agda-stdlib
 pkgver=1.4
-_agdaver=2.6.1.1
-pkgrel=1
+_agdaver=2.6.1.2
+pkgrel=2
 pkgdesc="Agda standard libraries"
 url="https://github.com/agda/agda-stdlib"
 license=("MIT")
 arch=('x86_64')
 depends=("agda=$_agdaver")
-makedepends=('ghc' 'haskell-filemanip')
+makedepends=('ghc' 'uusi' 'haskell-filemanip')
 options=('staticlibs')
 source=("$pkgname-$pkgver.tar.gz::https://github.com/agda/agda-stdlib/archive/v$pkgver.tar.gz"
         standard-library.agda-lib.in)
@@ -20,7 +20,7 @@
 prepare() {
     cd $pkgname-$pkgver
     rm standard-library.agda-lib
-    sed -i 's/< *4.14/<5/' lib.cabal
+    uusi lib.cabal
 }
 
 build() {