diff options
Diffstat (limited to 'lang')
| -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 c7e7270451ad..27870b06ca85 100644 --- a/lang/seed7/Makefile +++ b/lang/seed7/Makefile @@ -6,7 +6,7 @@ # PORTNAME= seed7 -DISTVERSION= 05_20080817 +DISTVERSION= 05_20080902 CATEGORIES= lang MASTER_SITES= SF DISTNAME= ${PORTNAME}_${DISTVERSION} diff --git a/lang/seed7/distinfo b/lang/seed7/distinfo index 36cdd75c97e2..a1d7c6df8d80 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,3 +1,3 @@ -MD5 (seed7_05_20080817.tgz) = aa7d51e7bd725f45d4358adaf9553a26 -SHA256 (seed7_05_20080817.tgz) = ae9f235ddac516b51364bbe247a739818f27f8187738e37352d03c66e5d4cc5d -SIZE (seed7_05_20080817.tgz) = 1093792 +MD5 (seed7_05_20080902.tgz) = 9dd172094563a60a43596e97e55189d9 +SHA256 (seed7_05_20080902.tgz) = b66277c06584dbd6504ca6ab7d05bf7a8eab118a23a8e3a1ab0c95235556c0ef +SIZE (seed7_05_20080902.tgz) = 1096753 |