diff options
| author | Gabor Pali <pgj@FreeBSD.org> | 2012-02-13 05:05:11 +0000 |
|---|---|---|
| committer | Gabor Pali <pgj@FreeBSD.org> | 2012-02-13 05:05:11 +0000 |
| commit | e16a7f5d330c36d91a2d5e491debcd1093d01f88 (patch) | |
| tree | 072a1867082bffc202f60bffcae8d167d1b783ff /math/hs-Agda-executable | |
| parent | 22c62d4bcccc3e4234755d84530897622df8dc9d (diff) | |
| download | ports-e16a7f5d330c36d91a2d5e491debcd1093d01f88.tar.gz ports-e16a7f5d330c36d91a2d5e491debcd1093d01f88.zip | |
Notes
Diffstat (limited to 'math/hs-Agda-executable')
| -rw-r--r-- | math/hs-Agda-executable/Makefile | 5 | ||||
| -rw-r--r-- | math/hs-Agda-executable/distinfo | 4 |
2 files changed, 4 insertions, 5 deletions
diff --git a/math/hs-Agda-executable/Makefile b/math/hs-Agda-executable/Makefile index df1de6db8a66..00b4d90d41e7 100644 --- a/math/hs-Agda-executable/Makefile +++ b/math/hs-Agda-executable/Makefile @@ -6,15 +6,14 @@ # PORTNAME= Agda-executable -PORTVERSION= 2.2.10 -PORTREVISION= 1 +PORTVERSION= 2.3.0 CATEGORIES= math haskell MAINTAINER= haskell@FreeBSD.org COMMENT= Command-line program for type-checking and compiling Agda programs CABAL_SETUP= Setup.hs -USE_CABAL= Agda>=2.2.10 Agda<2.2.11 +USE_CABAL= Agda>=2.3.0 Agda<2.3.1 USE_ICONV= yes diff --git a/math/hs-Agda-executable/distinfo b/math/hs-Agda-executable/distinfo index 40c939b6e575..de1da2624e63 100644 --- a/math/hs-Agda-executable/distinfo +++ b/math/hs-Agda-executable/distinfo @@ -1,2 +1,2 @@ -SHA256 (cabal/Agda-executable-2.2.10.tar.gz) = c65fda739b23d1c996918e8adaf5d8bf7d4a37479e05cd9d56377cb5cb5f544a -SIZE (cabal/Agda-executable-2.2.10.tar.gz) = 1788 +SHA256 (cabal/Agda-executable-2.3.0.tar.gz) = b75ce406ac9343dbc10a221f7552df2d5ddccc8ef38359d33465c02dbe992ad8 +SIZE (cabal/Agda-executable-2.3.0.tar.gz) = 1764 |