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 7446c6dfb1f2..13048de515be 100644 --- a/lang/seed7/Makefile +++ b/lang/seed7/Makefile @@ -6,7 +6,7 @@ # PORTNAME= seed7 -DISTVERSION= 05_20120115 +DISTVERSION= 05_20120205 CATEGORIES= lang MASTER_SITES= SF/${PORTNAME}/${PORTNAME}/${DISTNAME}/ DISTNAME= ${PORTNAME}_${DISTVERSION} diff --git a/lang/seed7/distinfo b/lang/seed7/distinfo index e6b4dbdaf3b2..9e114161ab06 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,2 +1,2 @@ -SHA256 (seed7_05_20120115.tgz) = e1bad45b01e08bb932d24289d1622c14a72824eeaba94499c32ecbda4a9d63b3 -SIZE (seed7_05_20120115.tgz) = 1641908 +SHA256 (seed7_05_20120205.tgz) = 03303d039d60e0d42570d460ac96b537535639cdca342743f882073c16bb812f +SIZE (seed7_05_20120205.tgz) = 1645560 |