diff options
| author | Pietro Cerutti <gahr@FreeBSD.org> | 2014-09-10 06:58:49 +0000 |
|---|---|---|
| committer | Pietro Cerutti <gahr@FreeBSD.org> | 2014-09-10 06:58:49 +0000 |
| commit | b3a83969da9a736faa8e23b1bb2cbb9acc9fd103 (patch) | |
| tree | 89d9edd7186e3048ee8a5816d502fd0696adbeb1 /lang/seed7 | |
| parent | 2bb4b261c69d33828ed925dc8de7e789325125d0 (diff) | |
| download | ports-b3a83969da9a736faa8e23b1bb2cbb9acc9fd103.tar.gz ports-b3a83969da9a736faa8e23b1bb2cbb9acc9fd103.zip | |
Notes
Diffstat (limited to 'lang/seed7')
| -rw-r--r-- | lang/seed7/Makefile | 2 | ||||
| -rw-r--r-- | lang/seed7/distinfo | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/lang/seed7/Makefile b/lang/seed7/Makefile index 3ba3fb146602..ffdd0d141512 100644 --- a/lang/seed7/Makefile +++ b/lang/seed7/Makefile @@ -2,7 +2,7 @@ # $FreeBSD$ PORTNAME= seed7 -DISTVERSION= 05_20140817 +DISTVERSION= 05_20140907 CATEGORIES= lang MASTER_SITES= SF/${PORTNAME}/${PORTNAME}/${DISTNAME}/ DISTNAME= ${PORTNAME}_${DISTVERSION} diff --git a/lang/seed7/distinfo b/lang/seed7/distinfo index 68e495420b32..1c7c33004a7c 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,2 +1,2 @@ -SHA256 (seed7_05_20140817.tgz) = ad56007251a042d2ee42042bdeb363bfbbab83e02811a6ea60f4f67d1e0483d0 -SIZE (seed7_05_20140817.tgz) = 2220085 +SHA256 (seed7_05_20140907.tgz) = 0f573dac0f23f6b6a4cc47202b2819f75cf1c9d6a7e5795815d6d444929069a0 +SIZE (seed7_05_20140907.tgz) = 2222067 |