diff options
| author | Pietro Cerutti <gahr@FreeBSD.org> | 2014-07-21 08:34:26 +0000 |
|---|---|---|
| committer | Pietro Cerutti <gahr@FreeBSD.org> | 2014-07-21 08:34:26 +0000 |
| commit | 364a875e6dbf82bc86f6fc377dc2858f494ff585 (patch) | |
| tree | 082cfb291c7aca9da346dd85d187f6aa759706f1 /lang | |
| parent | 995888f5e5ba24aa8f9dbdb5969fcec805e6b089 (diff) | |
| download | ports-364a875e6dbf82bc86f6fc377dc2858f494ff585.tar.gz ports-364a875e6dbf82bc86f6fc377dc2858f494ff585.zip | |
Notes
Diffstat (limited to 'lang')
| -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 b9b7c3382990..d6b0670a9953 100644 --- a/lang/seed7/Makefile +++ b/lang/seed7/Makefile @@ -2,7 +2,7 @@ # $FreeBSD$ PORTNAME= seed7 -DISTVERSION= 05_20140706 +DISTVERSION= 05_20140720 CATEGORIES= lang MASTER_SITES= SF/${PORTNAME}/${PORTNAME}/${DISTNAME}/ DISTNAME= ${PORTNAME}_${DISTVERSION} diff --git a/lang/seed7/distinfo b/lang/seed7/distinfo index 9258f971c233..7ff9cac43833 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,2 +1,2 @@ -SHA256 (seed7_05_20140706.tgz) = 3c45ce5d6c766a02258f8d04ce939a8435cb07aa881ad807b8eb0cbee81f2696 -SIZE (seed7_05_20140706.tgz) = 2145580 +SHA256 (seed7_05_20140720.tgz) = 97a37c09a30dce50c65ba93f5cb66e71c091e7943e91ca7e34adfc3b94c58596 +SIZE (seed7_05_20140720.tgz) = 2208235 |