diff options
| author | Pietro Cerutti <gahr@FreeBSD.org> | 2013-10-28 13:06:43 +0000 |
|---|---|---|
| committer | Pietro Cerutti <gahr@FreeBSD.org> | 2013-10-28 13:06:43 +0000 |
| commit | b8e00ee129b752f8f082a4ac529423ca48003a57 (patch) | |
| tree | 356797a2bb979cb467bc0e7b24d4da5e0d64a51b /lang/seed7 | |
| parent | e1bd010775357156970cb167769b8261f3beef63 (diff) | |
| download | ports-b8e00ee129b752f8f082a4ac529423ca48003a57.tar.gz ports-b8e00ee129b752f8f082a4ac529423ca48003a57.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 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 |