Date: Saturday, February 22, 2020 @ 04:06:03 Author: felixonmars Revision: 577954
upgpkg: idris 1.3.2-69: rebuild with tasty-golden 2.3.3 Modified: idris/trunk/PKGBUILD ----------+ PKGBUILD | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2020-02-22 03:50:56 UTC (rev 577953) +++ PKGBUILD 2020-02-22 04:06:03 UTC (rev 577954) @@ -3,7 +3,7 @@ pkgname=idris pkgver=1.3.2 -pkgrel=68 +pkgrel=69 pkgdesc="Functional Programming Language with Dependent Types" url="https://www.idris-lang.org/" license=("BSD") @@ -58,6 +58,6 @@ install -D -m744 register.sh "${pkgdir}/usr/share/haskell/register/${pkgname}.sh" install -D -m744 unregister.sh "${pkgdir}/usr/share/haskell/unregister/${pkgname}.sh" runhaskell Setup copy --destdir="${pkgdir}" - install -D -m644 "LICENSE" "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE" - rm -f "${pkgdir}/usr/share/doc/${pkgname}/LICENSE" + install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE + rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE }