diff options
| -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 522bccdf40b1..53995ecdcf6d 100644 --- a/lang/seed7/Makefile +++ b/lang/seed7/Makefile @@ -2,7 +2,7 @@ # $FreeBSD$ PORTNAME= seed7 -DISTVERSION= 05_20160630 +DISTVERSION= 05_20160731 CATEGORIES= lang MASTER_SITES= SF/${PORTNAME}/${PORTNAME}/${DISTNAME}/ DISTNAME= ${PORTNAME}_${DISTVERSION} diff --git a/lang/seed7/distinfo b/lang/seed7/distinfo index aaac12125412..562e47359312 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1467367883 -SHA256 (seed7_05_20160630.tgz) = fecbaf660f5d436783152b9aa8a1aed377bdec3b1aa3dd70eb0c5a96b9706e14 -SIZE (seed7_05_20160630.tgz) = 2639753 +TIMESTAMP = 1472472177 +SHA256 (seed7_05_20160731.tgz) = f76938a8fe08a5e037d89b3541a5f9bf2175515b87e73624188e14c5ad6fe806 +SIZE (seed7_05_20160731.tgz) = 2656738 |