diff options
| -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 b4c65423913c..8ce51fe64c96 100644 --- a/lang/seed7/Makefile +++ b/lang/seed7/Makefile @@ -6,7 +6,7 @@ # PORTNAME= seed7 -DISTVERSION= 05_20110306 +DISTVERSION= 05_20110403 CATEGORIES= lang MASTER_SITES= SF/${PORTNAME}/${PORTNAME}/${DISTNAME}/ DISTNAME= ${PORTNAME}_${DISTVERSION} diff --git a/lang/seed7/distinfo b/lang/seed7/distinfo index 0f09473f9183..8af7118baa12 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,2 +1,2 @@ -SHA256 (seed7_05_20110306.tgz) = f485eb83540da98dd0e2ff5cf41c305d5725924351ff1db4bd30ac45480180b7 -SIZE (seed7_05_20110306.tgz) = 1492868 +SHA256 (seed7_05_20110403.tgz) = dde79c5bab09ede9509d71a30fce370efa66016c530b3fea0b592bb632c2cf77 +SIZE (seed7_05_20110403.tgz) = 1499214 |