diff options
| author | Pietro Cerutti <gahr@FreeBSD.org> | 2013-04-17 08:22:48 +0000 |
|---|---|---|
| committer | Pietro Cerutti <gahr@FreeBSD.org> | 2013-04-17 08:22:48 +0000 |
| commit | b4f2b2532ffdc6f01c16ff504d0507e33d54e36e (patch) | |
| tree | c2b32938000e6e0ff73dba5615f6a8fc8b201f4e /lang | |
| parent | a6bbbd1624610dd295834dd6f9b9c315ec9cc7d9 (diff) | |
| download | ports-b4f2b2532ffdc6f01c16ff504d0507e33d54e36e.tar.gz ports-b4f2b2532ffdc6f01c16ff504d0507e33d54e36e.zip | |
Notes
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/seed7/Makefile | 2 | ||||
| -rw-r--r-- | lang/seed7/distinfo | 4 | ||||
| -rw-r--r-- | lang/seed7/pkg-plist | 1 |
3 files changed, 4 insertions, 3 deletions
diff --git a/lang/seed7/Makefile b/lang/seed7/Makefile index 9dee7617ed78..799c3f6d4928 100644 --- a/lang/seed7/Makefile +++ b/lang/seed7/Makefile @@ -2,7 +2,7 @@ # $FreeBSD$ PORTNAME= seed7 -DISTVERSION= 05_20130317 +DISTVERSION= 05_20130401 CATEGORIES= lang MASTER_SITES= SF/${PORTNAME}/${PORTNAME}/${DISTNAME}/ DISTNAME= ${PORTNAME}_${DISTVERSION} diff --git a/lang/seed7/distinfo b/lang/seed7/distinfo index 40be7d885ad3..58bbf457ba97 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,2 +1,2 @@ -SHA256 (seed7_05_20130317.tgz) = a65b627bcdf9b13cd4ccb71b14f21abf10209e4af92eeee876b574923c8a2854 -SIZE (seed7_05_20130317.tgz) = 1842183 +SHA256 (seed7_05_20130401.tgz) = 2970371aa47490fa78710decf220cd5dda0f8fc39f3b614543c289af1574b523 +SIZE (seed7_05_20130401.tgz) = 1855785 diff --git a/lang/seed7/pkg-plist b/lang/seed7/pkg-plist index e72397c4f051..d72b0d0ae2d6 100644 --- a/lang/seed7/pkg-plist +++ b/lang/seed7/pkg-plist @@ -60,6 +60,7 @@ lib/seed7/lib/image.s7i lib/seed7/lib/inifile.s7i lib/seed7/lib/integer.s7i lib/seed7/lib/keybd.s7i +lib/seed7/lib/keydescr.s7i lib/seed7/lib/line.s7i lib/seed7/lib/listener.s7i lib/seed7/lib/lower.s7i |