diff options
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/seed7/Makefile | 2 | ||||
| -rw-r--r-- | lang/seed7/distinfo | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/lang/seed7/Makefile b/lang/seed7/Makefile index 2ab953b8e08a..4ed4928d6c03 100644 --- a/lang/seed7/Makefile +++ b/lang/seed7/Makefile @@ -2,7 +2,7 @@ # $FreeBSD$ PORTNAME= seed7 -DISTVERSION= 05_20160430 +DISTVERSION= 05_20160531 CATEGORIES= lang MASTER_SITES= SF/${PORTNAME}/${PORTNAME}/${DISTNAME}/ DISTNAME= ${PORTNAME}_${DISTVERSION} diff --git a/lang/seed7/distinfo b/lang/seed7/distinfo index 0f3aa48b50a9..75edef71b876 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1463757416 -SHA256 (seed7_05_20160430.tgz) = 0cdcb07a7c4b9087108caa3353d1ace4aefc74c20fdc04a2c7bc45a80c515775 -SIZE (seed7_05_20160430.tgz) = 2607836 +TIMESTAMP = 1464787161 +SHA256 (seed7_05_20160531.tgz) = 7359a160e5d9efaac08b680e6ec0c3ec6731133e66602609eba4e1e509422af3 +SIZE (seed7_05_20160531.tgz) = 2627506 |