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 882fe8d70d20..68f18dd4c84d 100644 --- a/lang/seed7/Makefile +++ b/lang/seed7/Makefile @@ -2,7 +2,7 @@ # $FreeBSD$ PORTNAME= seed7 -DISTVERSION= 05_20140119 +DISTVERSION= 05_20140202 CATEGORIES= lang MASTER_SITES= SF/${PORTNAME}/${PORTNAME}/${DISTNAME}/ DISTNAME= ${PORTNAME}_${DISTVERSION} diff --git a/lang/seed7/distinfo b/lang/seed7/distinfo index 4860100c81a5..f679ab91a33c 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,2 +1,2 @@ -SHA256 (seed7_05_20140119.tgz) = 773f1a221285cc8d9391fe27a9ed3e5d643423d8551882546693f646bcf67d01 -SIZE (seed7_05_20140119.tgz) = 2014847 +SHA256 (seed7_05_20140202.tgz) = 6691216f7651d10a9006857a9eb19633ef0a1b3e89a3b014ae718ff77c55f4f1 +SIZE (seed7_05_20140202.tgz) = 2028658 |