diff options
Diffstat (limited to 'math/hs-Agda/Makefile')
| -rw-r--r-- | math/hs-Agda/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/math/hs-Agda/Makefile b/math/hs-Agda/Makefile index 6aaa8cf9d2c7..a323aeef942a 100644 --- a/math/hs-Agda/Makefile +++ b/math/hs-Agda/Makefile @@ -3,7 +3,7 @@ PORTNAME= Agda PORTVERSION= 2.3.0.1 -PORTREVISION= 2 +PORTREVISION= 3 CATEGORIES= math haskell MAINTAINER= haskell@FreeBSD.org @@ -11,7 +11,7 @@ COMMENT= A dependently typed functional programming language and proof assistant CABAL_SETUP= Setup.hs -USE_CABAL= hashable hashtables haskeline>=0.6.3.2 \ +USE_CABAL= hashable>=1.2 hashtables haskeline>=0.6.3.2 \ haskell-src-exts>=1.9.6 mtl QuickCheck>=2.3 syb>=0.1 \ xhtml zlib>=0.4.0.1 USE_ALEX= yes |