diff options
| -rw-r--r-- | lang/seed7/Makefile | 2 | ||||
| -rw-r--r-- | lang/seed7/distinfo | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/lang/seed7/Makefile b/lang/seed7/Makefile index e2aa9a521a4e..32cc0d07a2cf 100644 --- a/lang/seed7/Makefile +++ b/lang/seed7/Makefile @@ -6,7 +6,7 @@ # PORTNAME= seed7 -DISTVERSION= 05_20091115 +DISTVERSION= 05_20091220 CATEGORIES= lang MASTER_SITES= SF/${PORTNAME}/${PORTNAME}/${DISTNAME}.tgz DISTNAME= ${PORTNAME}_${DISTVERSION} diff --git a/lang/seed7/distinfo b/lang/seed7/distinfo index 5787caa4e05f..23000c51ee5d 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,3 +1,3 @@ -MD5 (seed7_05_20091115.tgz) = cc54311fdca46d70bc4c90ceb70dc23d -SHA256 (seed7_05_20091115.tgz) = 24747f4c0e328de510cc85cbbf6b0a61a2bbd5fd87c4e2f6b728f5099f306dd2 -SIZE (seed7_05_20091115.tgz) = 1327412 +MD5 (seed7_05_20091220.tgz) = 523e285b704a737e9edc3932b12d87df +SHA256 (seed7_05_20091220.tgz) = 42f324e6cc899c80add00cd1bc6cc63e89c8162147af6536d4fc90a0b6a2b6c7 +SIZE (seed7_05_20091220.tgz) = 1331647 |