diff options
Diffstat (limited to 'devel')
| -rw-r--r-- | devel/pure-gen/Makefile | 3 | ||||
| -rw-r--r-- | devel/pure-gen/distinfo | 4 |
2 files changed, 3 insertions, 4 deletions
diff --git a/devel/pure-gen/Makefile b/devel/pure-gen/Makefile index 698a40b3f437..bc4643e78543 100644 --- a/devel/pure-gen/Makefile +++ b/devel/pure-gen/Makefile @@ -6,8 +6,7 @@ # PORTNAME= pure-gen -PORTVERSION= 0.11 -PORTREVISION= 1 +PORTVERSION= 0.12 CATEGORIES= devel MASTER_SITES= http://pure-lang.googlecode.com/files/ diff --git a/devel/pure-gen/distinfo b/devel/pure-gen/distinfo index 405eda778fbb..b75dfb444682 100644 --- a/devel/pure-gen/distinfo +++ b/devel/pure-gen/distinfo @@ -1,2 +1,2 @@ -SHA256 (pure-gen-0.11.tar.gz) = b2fdd3436ef567506848d0f4d67e195d550b64f958412339bd6fb455db4183aa -SIZE (pure-gen-0.11.tar.gz) = 52924 +SHA256 (pure-gen-0.12.tar.gz) = b5d5530e12c016d828e4388ffc5c1dfd22c2748ab0e4472979d37fda531f96f8 +SIZE (pure-gen-0.12.tar.gz) = 57463 |