diff options
| author | Ashish SHUKLA <ashish@FreeBSD.org> | 2011-07-10 16:30:20 +0000 |
|---|---|---|
| committer | Ashish SHUKLA <ashish@FreeBSD.org> | 2011-07-10 16:30:20 +0000 |
| commit | 72aec0acb142e791287e7f81df2783bc36b1d5c9 (patch) | |
| tree | 1a1112b344e67e61eb62e2581d4e12e803b55466 /math/hs-Agda | |
| parent | a5b68f24f9a5537c9e9814147d61d6f50b624686 (diff) | |
Notes
Diffstat (limited to 'math/hs-Agda')
| -rw-r--r-- | math/hs-Agda/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/hs-Agda/Makefile b/math/hs-Agda/Makefile index 621f364b1744..0a87c79bd6e4 100644 --- a/math/hs-Agda/Makefile +++ b/math/hs-Agda/Makefile @@ -7,7 +7,7 @@ PORTNAME= Agda PORTVERSION= 2.2.10 -PORTREVISION= 1 +PORTREVISION= 2 CATEGORIES= math haskell MAINTAINER= haskell@FreeBSD.org |