summaryrefslogtreecommitdiffstats
path: root/math/hs-Agda-executable/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'math/hs-Agda-executable/Makefile')
-rw-r--r--math/hs-Agda-executable/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/math/hs-Agda-executable/Makefile b/math/hs-Agda-executable/Makefile
index 7d28ef0..44e6d04 100644
--- a/math/hs-Agda-executable/Makefile
+++ b/math/hs-Agda-executable/Makefile
@@ -3,7 +3,7 @@
PORTNAME= Agda-executable
PORTVERSION= 2.3.0.1
-PORTREVISION= 2
+PORTREVISION= 3
CATEGORIES= math haskell
MAINTAINER= haskell@FreeBSD.org
OpenPOWER on IntegriCloud