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