diff options
| -rw-r--r-- | lang/seed7/Makefile | 2 | ||||
| -rw-r--r-- | lang/seed7/distinfo | 5 |
2 files changed, 3 insertions, 4 deletions
diff --git a/lang/seed7/Makefile b/lang/seed7/Makefile index e7cb09f004ea..2f79c09e54fb 100644 --- a/lang/seed7/Makefile +++ b/lang/seed7/Makefile @@ -6,7 +6,7 @@ # PORTNAME= seed7 -DISTVERSION= 05_20101010 +DISTVERSION= 05_20101107 CATEGORIES= lang MASTER_SITES= SF/${PORTNAME}/${PORTNAME}/${DISTNAME}/ DISTNAME= ${PORTNAME}_${DISTVERSION} diff --git a/lang/seed7/distinfo b/lang/seed7/distinfo index f35954ce72ec..84a876fe3f0b 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,3 +1,2 @@ -MD5 (seed7_05_20101010.tgz) = 88d8f303f7e298ef2cdcbbb44430964e -SHA256 (seed7_05_20101010.tgz) = 33c4acd269a857b08e2701e59b6398a9f93f32ce0a0dd3b13fc49a98e462841b -SIZE (seed7_05_20101010.tgz) = 1445255 +SHA256 (seed7_05_20101107.tgz) = d7183a033f82b22e3dd70efef22c63c02a316059c4da084a27826b6fd2620f4a +SIZE (seed7_05_20101107.tgz) = 1453549 |