diff options
| author | Ashish SHUKLA <ashish@FreeBSD.org> | 2011-05-26 00:51:15 +0000 |
|---|---|---|
| committer | Ashish SHUKLA <ashish@FreeBSD.org> | 2011-05-26 00:51:15 +0000 |
| commit | 86f2dbca13b0b83402b2229b384e088263445ca5 (patch) | |
| tree | de23f443f21240bd875c76ec923f6e673a8e22c2 /math/hs-Agda | |
| parent | d85e3c566dfff95860d16db79e1a02e07aa746db (diff) | |
| download | ports-86f2dbca13b0b83402b2229b384e088263445ca5.tar.gz ports-86f2dbca13b0b83402b2229b384e088263445ca5.zip | |
Notes
Diffstat (limited to 'math/hs-Agda')
| -rw-r--r-- | math/hs-Agda/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/math/hs-Agda/Makefile b/math/hs-Agda/Makefile index 7961742615ad..621f364b1744 100644 --- a/math/hs-Agda/Makefile +++ b/math/hs-Agda/Makefile @@ -7,6 +7,7 @@ PORTNAME= Agda PORTVERSION= 2.2.10 +PORTREVISION= 1 CATEGORIES= math haskell MAINTAINER= haskell@FreeBSD.org |