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/seed7/Makefile | |
parent | 156c3fb5eab21ce81202123f7fbd049e5f74a600 (diff) |
Notes
Diffstat (limited to 'lang/seed7/Makefile')
-rw-r--r-- | lang/seed7/Makefile | 2 |
1 files changed, 1 insertions, 1 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} |