diff options
| -rw-r--r-- | lang/seed7/Makefile | 2 | ||||
| -rw-r--r-- | lang/seed7/distinfo | 5 |
2 files changed, 4 insertions, 3 deletions
diff --git a/lang/seed7/Makefile b/lang/seed7/Makefile index d0fa8b59abb8..2ab953b8e08a 100644 --- a/lang/seed7/Makefile +++ b/lang/seed7/Makefile @@ -2,7 +2,7 @@ # $FreeBSD$ PORTNAME= seed7 -DISTVERSION= 05_20160330 +DISTVERSION= 05_20160430 CATEGORIES= lang MASTER_SITES= SF/${PORTNAME}/${PORTNAME}/${DISTNAME}/ DISTNAME= ${PORTNAME}_${DISTVERSION} diff --git a/lang/seed7/distinfo b/lang/seed7/distinfo index a895cde31dd7..0f3aa48b50a9 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,2 +1,3 @@ -SHA256 (seed7_05_20160330.tgz) = a06744405a4860730b33833f1d1df97ed96b82d5a86596a6f0396fb6c0f24c41 -SIZE (seed7_05_20160330.tgz) = 2601993 +TIMESTAMP = 1463757416 +SHA256 (seed7_05_20160430.tgz) = 0cdcb07a7c4b9087108caa3353d1ace4aefc74c20fdc04a2c7bc45a80c515775 +SIZE (seed7_05_20160430.tgz) = 2607836 |