Index: head/math/hs-Agda/Makefile
===================================================================
--- head/math/hs-Agda/Makefile	(revision 545825)
+++ head/math/hs-Agda/Makefile	(revision 545826)
@@ -1,77 +1,77 @@
 # Created by: Giuseppe Pilichi aka Jacula Modyun <jacula@gmail.com>
 # $FreeBSD$
 
 PORTNAME=	Agda
 PORTVERSION=	2.6.1
-PORTREVISION=	4
+PORTREVISION=	5
 CATEGORIES=	math haskell
 
 MAINTAINER=	haskell@FreeBSD.org
 COMMENT=	Dependently typed functional programming language and proof assistant
 
 BUILD_DEPENDS=	emacs:editors/emacs
 
 USES=		cabal
 
 USE_LOCALE=	en_US.UTF-8
 
 USE_CABAL=	Cabal-3.0.2.0 \
 		STMonadTrans-0.4.4 \
 		aeson-1.4.7.1_1 \
 		alex-3.2.5 \
 		async-2.2.2_1 \
 		attoparsec-0.13.2.4 \
 		base-compat-0.11.1 \
 		base-compat-batteries-0.11.1 \
 		base-orphans-0.8.2 \
 		blaze-builder-0.4.1.0 \
 		blaze-html-0.9.1.2 \
 		blaze-markup-0.8.2.5 \
 		boxes-0.1.5 \
 		data-hash-0.2.0.1 \
 		dlist-0.8.0.8 \
 		edit-distance-0.2.2.1_1 \
 		equivalence-0.3.5 \
 		fail-4.9.0.0 \
 		geniplate-mirror-0.7.7 \
 		gitrev-1.3.1 \
 		happy-1.19.12 \
 		hashable-1.3.0.0_1 \
 		hashtables-1.2.3.4 \
 		ieee754-0.8.0 \
 		integer-logarithms-1.0.3_2 \
 		murmur-hash-0.1.0.9 \
 		network-uri-2.6.3.0 \
 		primitive-0.7.0.1 \
 		random-1.1_1 \
 		regex-base-0.94.0.0_1 \
 		regex-tdfa-1.3.1.0_1 \
 		scientific-0.3.6.2 \
 		split-0.2.3.4 \
 		strict-0.3.2 \
 		tagged-0.8.6_2 \
 		th-abstraction-0.3.2.0 \
 		time-compat-1.9.3 \
 		transformers-compat-0.6.5 \
 		unordered-containers-0.2.10.0_1 \
 		uri-encode-1.5.0.5 \
 		utf8-string-1.0.1.1_3 \
 		uuid-types-1.0.3_2 \
 		vector-0.12.1.2 \
 		zlib-0.6.2.1_1
 
 EXECUTABLES=		agda-mode agda
 agda_DATADIR_VARS=	Agda
 agda-mode_DATADIR_VARS=	Agda
 
 post-build:
 #	Do not compile Emacs mode files until https://github.com/agda/agda/issues/4610 is fixed
 #	${SETENV} Agda_datadir=${WRKSRC}/src/data $$(find ${WRKSRC}/dist-newstyle -name agda-mode -type f -perm +111) compile
 
 post-install:
 	${MKDIR} ${STAGEDIR}${DATADIR}/lib/prim/Agda
 	find ${WRKSRC}/src/data/lib/prim/Agda -name '*.agda' -exec ${SETENV} ${PORTNAME}_datadir=${WRKSRC}/src/data ${STAGEDIR}${PREFIX}/libexec/cabal/agda {} \;
 	cd ${WRKSRC}/src/data && ${COPYTREE_SHARE} lib ${STAGEDIR}${DATADIR}
 	cd ${WRKSRC}/src/data && ${COPYTREE_SHARE} emacs-mode ${STAGEDIR}${DATADIR}
 
 .include <bsd.port.mk>
Index: head/math/hs-Agda/files/patch-Agda.cabal
===================================================================
--- head/math/hs-Agda/files/patch-Agda.cabal	(nonexistent)
+++ head/math/hs-Agda/files/patch-Agda.cabal	(revision 545826)
@@ -0,0 +1,11 @@
+--- Agda.cabal.orig	2020-03-16 02:17:02 UTC
++++ Agda.cabal
+@@ -238,7 +238,7 @@ library
+   -- In hTags the mtl library must be compiled with the version of
+   -- transformers shipped with GHC, so we use that version in Agda (see,
+   -- for example, Issue #2983).
+-  if impl(ghc >= 8.6.4) && impl(ghc < 8.10.2)
++  if impl(ghc >= 8.6.4) && impl(ghc < 8.10.99)
+     build-depends: transformers == 0.5.6.2
+ 
+   if impl(ghc >= 8.4) && impl(ghc < 8.6.4)

Property changes on: head/math/hs-Agda/files/patch-Agda.cabal
___________________________________________________________________
Added: fbsd:nokeywords
## -0,0 +1 ##
+yes
\ No newline at end of property
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Added: svn:mime-type
## -0,0 +1 ##
+text/plain
\ No newline at end of property