diff options
author | Pietro Cerutti <gahr@FreeBSD.org> | 2013-02-20 09:56:01 +0000 |
---|---|---|
committer | Pietro Cerutti <gahr@FreeBSD.org> | 2013-02-20 09:56:01 +0000 |
commit | b1822ee8b120ac45bf28a0b4aae8f3ca3400584f (patch) | |
tree | 800c950056a30fe31aedf45b1fbcba8736a498b9 /lang | |
parent | 728efa64d5c0ede2088e72257f36dd0417b92584 (diff) |
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 9c0e5bc973df..62278f7adca8 100644 --- a/lang/seed7/Makefile +++ b/lang/seed7/Makefile @@ -2,7 +2,7 @@ # $FreeBSD$ PORTNAME= seed7 -DISTVERSION= 05_20130203 +DISTVERSION= 05_20130217 CATEGORIES= lang MASTER_SITES= SF/${PORTNAME}/${PORTNAME}/${DISTNAME}/ DISTNAME= ${PORTNAME}_${DISTVERSION} diff --git a/lang/seed7/distinfo b/lang/seed7/distinfo index 02f3dc7d2980..bc75c8bde4f3 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,2 +1,2 @@ -SHA256 (seed7_05_20130203.tgz) = 7b0fb2fce99dd2b9de0cde1c02a722a45e159a2edc390eba8dd072c4f772a8f0 -SIZE (seed7_05_20130203.tgz) = 1829321 +SHA256 (seed7_05_20130217.tgz) = d1a432165c4f26999a33458c5adca9e051b49c9dc65e0e7bb62d4415e6026a57 +SIZE (seed7_05_20130217.tgz) = 1832237 |