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 68f18dd4c84d..7512abc26492 100644 --- a/lang/seed7/Makefile +++ b/lang/seed7/Makefile @@ -2,7 +2,7 @@ # $FreeBSD$ PORTNAME= seed7 -DISTVERSION= 05_20140202 +DISTVERSION= 05_20140216 CATEGORIES= lang MASTER_SITES= SF/${PORTNAME}/${PORTNAME}/${DISTNAME}/ DISTNAME= ${PORTNAME}_${DISTVERSION} diff --git a/lang/seed7/distinfo b/lang/seed7/distinfo index f679ab91a33c..f16c6735f424 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,2 +1,2 @@ -SHA256 (seed7_05_20140202.tgz) = 6691216f7651d10a9006857a9eb19633ef0a1b3e89a3b014ae718ff77c55f4f1 -SIZE (seed7_05_20140202.tgz) = 2028658 +SHA256 (seed7_05_20140216.tgz) = ce4043b6cc1c42137a16c644de87fe98d5968c43b8d98f9885f58b7a203bd316 +SIZE (seed7_05_20140216.tgz) = 2050022 |