diff options
| -rw-r--r-- | lang/seed7/Makefile | 2 | ||||
| -rw-r--r-- | lang/seed7/distinfo | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/lang/seed7/Makefile b/lang/seed7/Makefile index da898aa9f3ba..db7e86783513 100644 --- a/lang/seed7/Makefile +++ b/lang/seed7/Makefile @@ -2,7 +2,7 @@ # $FreeBSD$ PORTNAME= seed7 -DISTVERSION= 05_20130602 +DISTVERSION= 05_20130616 CATEGORIES= lang MASTER_SITES= SF/${PORTNAME}/${PORTNAME}/${DISTNAME}/ DISTNAME= ${PORTNAME}_${DISTVERSION} diff --git a/lang/seed7/distinfo b/lang/seed7/distinfo index 9b7a7b61aa1d..7997f0865e2e 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,2 +1,2 @@ -SHA256 (seed7_05_20130602.tgz) = 8eaa40ff093f28e2fa8e6f45f44f827fcc46ddff623589b38db0c066c0ad5699 -SIZE (seed7_05_20130602.tgz) = 1863941 +SHA256 (seed7_05_20130616.tgz) = 2778bd9e38c66c5d2ae72955e55f7a61eb00b29b72bf2fb92f95fd53652eca18 +SIZE (seed7_05_20130616.tgz) = 1900562 |