[arch-commits] Commit in agda/trunk (PKGBUILD)
Felix Yan
felixonmars at archlinux.org
Sun Mar 10 19:05:52 UTC 2019
Date: Sunday, March 10, 2019 @ 19:05:51
Author: felixonmars
Revision: 439554
upgpkg: agda 2.5.99.20190207-7
rebuild with ghc 8.6.4
Modified:
agda/trunk/PKGBUILD
----------+
PKGBUILD | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2019-03-10 18:11:55 UTC (rev 439553)
+++ PKGBUILD 2019-03-10 19:05:51 UTC (rev 439554)
@@ -5,7 +5,7 @@
pkgname=agda
pkgver=2.5.99.20190207
_commit=3048fdaa1840c352fc00aa7222c50bcd622580d8
-pkgrel=6
+pkgrel=7
pkgdesc="A dependently typed functional programming language and proof assistant"
url="https://wiki.portal.chalmers.se/agda/"
license=("custom")
@@ -32,6 +32,8 @@
-e "s|datadir dirs|\"$PWD/../lib-target\"|" \
-e 's|"Builtins"|"Builtin"|' \
-i Setup.hs
+
+ sed -i 's/== 0.5/>= 0.5/' Agda.cabal
}
build() {
More information about the arch-commits
mailing list