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

[Felix Yan]

    Date: Wednesday, May 12, 2021 @ 11:36:43
  Author: felixonmars
Revision: 931501

upgpkg: idris 1.3.3-225: rebuild with unliftio 0.2.15

Modified:
  idris/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2021-05-12 11:15:23 UTC (rev 931500)
+++ PKGBUILD	2021-05-12 11:36:43 UTC (rev 931501)
@@ -3,7 +3,7 @@
 
 pkgname=idris
 pkgver=1.3.3
-pkgrel=224
+pkgrel=225
 pkgdesc="Functional Programming Language with Dependent Types"
 url="https://www.idris-lang.org/"
 license=("BSD")
@@ -21,7 +21,7 @@
 source=("$pkgname-$pkgver.tar.gz::https://github.com/idris-lang/Idris-dev/archive/v$pkgver.tar.gz"
         idris-haskeline-0.8.patch::https://github.com/idris-lang/Idris-dev/pull/4871.patch)
 sha512sums=('fc5c65847c8021ed691c7968043a04fcffaed3a44a6339f611fed616fddefa1b5bc2da8e7e6662dfa552981688a1c96571eadc197e4e50ba060de3c6ddbd03de'
-            '5f2efe359d5626c44f0c146f108dae4635ae2c8babf53841d5147d17d5be2460ab19a0b952492c68c93fa6470989bcf396cd7fbf6c8d44ac77792a54c3bbb141')
+            '4400ea44d61ab5080926fb88c3a9195dda6dfcefb794a335ca00dcdbc9df8a1e6cb2a9b5ed1c906c34fedea8019281b395f030a6267708be68676c8cc6e5b6fa')
 
 prepare() {
     cd Idris-dev-$pkgver