diff options
Diffstat (limited to 'math/hs-Agda/Makefile')
-rw-r--r-- | math/hs-Agda/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/math/hs-Agda/Makefile b/math/hs-Agda/Makefile index 4c8c8bf06f16..65e91932564b 100644 --- a/math/hs-Agda/Makefile +++ b/math/hs-Agda/Makefile @@ -2,8 +2,7 @@ # $FreeBSD$ PORTNAME= Agda -PORTVERSION= 2.6.1 -PORTREVISION= 5 +PORTVERSION= 2.6.1.3 CATEGORIES= math haskell MAINTAINER= haskell@FreeBSD.org |