diff options
| author | Pietro Cerutti <gahr@FreeBSD.org> | 2008-11-03 13:40:46 +0000 |
|---|---|---|
| committer | Pietro Cerutti <gahr@FreeBSD.org> | 2008-11-03 13:40:46 +0000 |
| commit | c978531f11dfe5a81fe1e68b79c3167e3dc6257c (patch) | |
| tree | 7d8ede8a208178e86355317127786f1223e23641 /lang | |
| parent | ff4a96c5fc5e01895ac6ea08be214ee9b4eb5155 (diff) | |
| download | ports-c978531f11dfe5a81fe1e68b79c3167e3dc6257c.tar.gz ports-c978531f11dfe5a81fe1e68b79c3167e3dc6257c.zip | |
Notes
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 |