diff options
| author | Pietro Cerutti <gahr@FreeBSD.org> | 2018-03-05 09:36:29 +0000 |
|---|---|---|
| committer | Pietro Cerutti <gahr@FreeBSD.org> | 2018-03-05 09:36:29 +0000 |
| commit | 67107f068113858de0d8876394a83f836b71d7b1 (patch) | |
| tree | 26ee5185cd876c1415ac565e64704c31ceb52900 /lang/seed7 | |
| parent | d8c26ee2c57fb6f863214677bee9a2e46187bcd8 (diff) | |
| download | ports-67107f068113858de0d8876394a83f836b71d7b1.tar.gz ports-67107f068113858de0d8876394a83f836b71d7b1.zip | |
Notes
Diffstat (limited to 'lang/seed7')
| -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 bcfd833dc7ce..a1e9bb25e296 100644 --- a/lang/seed7/Makefile +++ b/lang/seed7/Makefile @@ -2,7 +2,7 @@ # $FreeBSD$ PORTNAME= seed7 -DISTVERSION= 05_20180107 +DISTVERSION= 05_20180304 CATEGORIES= lang MASTER_SITES= SF/${PORTNAME}/${PORTNAME}/${DISTNAME}/ DISTNAME= ${PORTNAME}_${DISTVERSION} diff --git a/lang/seed7/distinfo b/lang/seed7/distinfo index 700ce69d50d7..1fa75fb26673 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1515406547 -SHA256 (seed7_05_20180107.tgz) = 4fcd35bdab1f0178822dbe21a91cc10ae5b24cecd5e71b776882ccaffb97540c -SIZE (seed7_05_20180107.tgz) = 2780835 +TIMESTAMP = 1520239050 +SHA256 (seed7_05_20180304.tgz) = 142444dcce2c4060698d9afb35cda2558edc223d00879c3d07da8f77b2a26a51 +SIZE (seed7_05_20180304.tgz) = 2787759 diff --git a/lang/seed7/pkg-plist b/lang/seed7/pkg-plist index f0569f6a967b..78e139847c6b 100644 --- a/lang/seed7/pkg-plist +++ b/lang/seed7/pkg-plist @@ -60,6 +60,7 @@ lib/seed7/lib/comp/fil_act.s7i lib/seed7/lib/comp/flt_act.s7i lib/seed7/lib/comp/gkb_act.s7i lib/seed7/lib/comp/hsh_act.s7i +lib/seed7/lib/comp/inline.s7i lib/seed7/lib/comp/int_act.s7i lib/seed7/lib/comp/itf_act.s7i lib/seed7/lib/comp/kbd_act.s7i |