diff options
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/seed7/Makefile | 2 | ||||
| -rw-r--r-- | lang/seed7/distinfo | 6 | ||||
| -rw-r--r-- | lang/seed7/pkg-plist | 1 |
3 files changed, 5 insertions, 4 deletions
diff --git a/lang/seed7/Makefile b/lang/seed7/Makefile index 7e335ec8a405..0268be00b495 100644 --- a/lang/seed7/Makefile +++ b/lang/seed7/Makefile @@ -6,7 +6,7 @@ # PORTNAME= seed7 -DISTVERSION= 05_20081019 +DISTVERSION= 05_20081102 CATEGORIES= lang MASTER_SITES= SF DISTNAME= ${PORTNAME}_${DISTVERSION} diff --git a/lang/seed7/distinfo b/lang/seed7/distinfo index 4f775670b562..04a811e4bf8a 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,3 +1,3 @@ -MD5 (seed7_05_20081019.tgz) = 80a087bbd18218355d6f0ea5b5eaf3cb -SHA256 (seed7_05_20081019.tgz) = 71483273de6c018b27564e36cc032523890be5304332187f7dfb0b45d5b4fa53 -SIZE (seed7_05_20081019.tgz) = 1135694 +MD5 (seed7_05_20081102.tgz) = 69cb28024b4923a1edbd040aed5bb6e6 +SHA256 (seed7_05_20081102.tgz) = f652fd02d786d0c08868f6b22f150dbc68a9d188522076af56e811416d06b4b1 +SIZE (seed7_05_20081102.tgz) = 1141745 diff --git a/lang/seed7/pkg-plist b/lang/seed7/pkg-plist index 9651cb031317..cf1f27b6832a 100644 --- a/lang/seed7/pkg-plist +++ b/lang/seed7/pkg-plist @@ -22,6 +22,7 @@ lib/seed7/float.s7i lib/seed7/getf.s7i lib/seed7/graph.s7i lib/seed7/gtkserver.s7i +lib/seed7/gzip.s7i lib/seed7/html_ent.s7i lib/seed7/keybd.s7i lib/seed7/line.s7i |