diff options
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 e932f9bffd11..0d15a807cf1b 100644 --- a/lang/seed7/Makefile +++ b/lang/seed7/Makefile @@ -2,7 +2,7 @@ # $FreeBSD$ PORTNAME= seed7 -DISTVERSION= 05_20131013 +DISTVERSION= 05_20131027 CATEGORIES= lang MASTER_SITES= SF/${PORTNAME}/${PORTNAME}/${DISTNAME}/ DISTNAME= ${PORTNAME}_${DISTVERSION} diff --git a/lang/seed7/distinfo b/lang/seed7/distinfo index 277074204f80..afb431f16600 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,2 +1,2 @@ -SHA256 (seed7_05_20131013.tgz) = 9067760e862f4a9012e970fd341c5cae30c8b57bf2f4c31d4e441e6bade822a3 -SIZE (seed7_05_20131013.tgz) = 1974721 +SHA256 (seed7_05_20131027.tgz) = baf733aa155ba1377e7605cfd0b2bc5fb114003045a23761576affc3b04a714e +SIZE (seed7_05_20131027.tgz) = 1981052 |