diff options
| author | Pietro Cerutti <gahr@FreeBSD.org> | 2014-02-17 10:58:31 +0000 |
|---|---|---|
| committer | Pietro Cerutti <gahr@FreeBSD.org> | 2014-02-17 10:58:31 +0000 |
| commit | 140a1d1269a527d687682164f9ccac5ad5cd4121 (patch) | |
| tree | 8f378d908fc13ddc3befe05e1b0d652c318dfab2 /lang | |
| parent | 156c3fb5eab21ce81202123f7fbd049e5f74a600 (diff) | |
| download | ports-140a1d1269a527d687682164f9ccac5ad5cd4121.tar.gz ports-140a1d1269a527d687682164f9ccac5ad5cd4121.zip | |
Notes
Diffstat (limited to 'lang')
| -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 |