diff options
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 cc1cada1ee3b..b4c65423913c 100644 --- a/lang/seed7/Makefile +++ b/lang/seed7/Makefile @@ -6,7 +6,7 @@ # PORTNAME= seed7 -DISTVERSION= 05_20110203 +DISTVERSION= 05_20110306 CATEGORIES= lang MASTER_SITES= SF/${PORTNAME}/${PORTNAME}/${DISTNAME}/ DISTNAME= ${PORTNAME}_${DISTVERSION} diff --git a/lang/seed7/distinfo b/lang/seed7/distinfo index 38d355969cc9..0f09473f9183 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,2 +1,2 @@ -SHA256 (seed7_05_20110203.tgz) = a157c7be188cc1c898695ae0463f0cabe3262a850d76b128f14498d4defbdc30 -SIZE (seed7_05_20110203.tgz) = 1485761 +SHA256 (seed7_05_20110306.tgz) = f485eb83540da98dd0e2ff5cf41c305d5725924351ff1db4bd30ac45480180b7 +SIZE (seed7_05_20110306.tgz) = 1492868 |