Date: Sunday, February 5, 2023 @ 22:30:03 Author: felixonmars Revision: 1392846
upgpkg: idris 1.3.4-71: rebuild with brick 1.5, fsnotify 0.4.0.0, hledger 1.28, hledger-lib 1.28, hledger-ui 1.28, hledger-web 1.28 Modified: idris/trunk/PKGBUILD ----------+ PKGBUILD | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2023-02-05 22:19:33 UTC (rev 1392845) +++ PKGBUILD 2023-02-05 22:30:03 UTC (rev 1392846) @@ -3,7 +3,7 @@ pkgname=idris pkgver=1.3.4 -pkgrel=70 +pkgrel=71 pkgdesc="Functional Programming Language with Dependent Types" url="https://www.idris-lang.org/"; license=("BSD") @@ -25,7 +25,7 @@ cd Idris-dev-$pkgver sed -i '1ioverride IDRIS := env LD_PRELOAD=$(shell ls ../../dist/build/libHSidris-*-ghc*.so) $(IDRIS)' \ libs/*/Makefile - uusi -u Cabal -u aeson -u network -u libffi -u optparse-applicative -u vector idris.cabal + uusi -u Cabal -u aeson -u fsnotify -u network -u libffi -u optparse-applicative -u vector idris.cabal } build() {
