[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