diff options
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/seed7/Makefile | 8 | ||||
| -rw-r--r-- | lang/seed7/distinfo | 4 | ||||
| -rw-r--r-- | lang/seed7/pkg-plist | 2 |
3 files changed, 6 insertions, 8 deletions
diff --git a/lang/seed7/Makefile b/lang/seed7/Makefile index f3f652e75101..af095647ad93 100644 --- a/lang/seed7/Makefile +++ b/lang/seed7/Makefile @@ -1,12 +1,8 @@ -# New ports collection Makefile for: seed7 -# Date created: 16 July 2008 -# Whom: gahr -# +# Created by: gahr # $FreeBSD$ -# PORTNAME= seed7 -DISTVERSION= 05_20121007 +DISTVERSION= 05_20121021 CATEGORIES= lang MASTER_SITES= SF/${PORTNAME}/${PORTNAME}/${DISTNAME}/ DISTNAME= ${PORTNAME}_${DISTVERSION} diff --git a/lang/seed7/distinfo b/lang/seed7/distinfo index 864734901f0e..7c891087ca10 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,2 +1,2 @@ -SHA256 (seed7_05_20121007.tgz) = 6cb18ecec1bbdceaf4c8facaa0490b88847ed6f6f610c69a61ff66b6b2752b22 -SIZE (seed7_05_20121007.tgz) = 1782217 +SHA256 (seed7_05_20121021.tgz) = 698f11a31d820c678ee54c1f013cb8538d37339898fc000d5ae4b8d4c2487d6b +SIZE (seed7_05_20121021.tgz) = 1795775 diff --git a/lang/seed7/pkg-plist b/lang/seed7/pkg-plist index c479f9e16691..98ccfa6d2f31 100644 --- a/lang/seed7/pkg-plist +++ b/lang/seed7/pkg-plist @@ -59,6 +59,7 @@ lib/seed7/listener.s7i lib/seed7/lower.s7i lib/seed7/mahjng32.s7i lib/seed7/make.s7i +lib/seed7/makedata.s7i lib/seed7/math.s7i lib/seed7/modern27.s7i lib/seed7/more.s7i @@ -110,6 +111,7 @@ lib/seed7/time.s7i lib/seed7/upper.s7i lib/seed7/utf16.s7i lib/seed7/utf8.s7i +lib/seed7/vecfont10.s7i lib/seed7/vecfont18.s7i lib/seed7/vectorfont.s7i lib/seed7/window.s7i |