diff options
| author | Pietro Cerutti <gahr@FreeBSD.org> | 2014-05-19 09:42:31 +0000 |
|---|---|---|
| committer | Pietro Cerutti <gahr@FreeBSD.org> | 2014-05-19 09:42:31 +0000 |
| commit | 031ec1d25b971d33d7d77d0e6cf473d8e16f3bb5 (patch) | |
| tree | a080e6348322d1ecaa7e55eb55efb581a5845d57 /lang | |
| parent | 9fb0527e4d36b5e1dc5251a0d65dd161daced1c1 (diff) | |
| download | ports-031ec1d25b971d33d7d77d0e6cf473d8e16f3bb5.tar.gz ports-031ec1d25b971d33d7d77d0e6cf473d8e16f3bb5.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 34e550ab793c..c02ef5d2ce7f 100644 --- a/lang/seed7/Makefile +++ b/lang/seed7/Makefile @@ -2,7 +2,7 @@ # $FreeBSD$ PORTNAME= seed7 -DISTVERSION= 05_20140504 +DISTVERSION= 05_20140518 CATEGORIES= lang MASTER_SITES= SF/${PORTNAME}/${PORTNAME}/${DISTNAME}/ DISTNAME= ${PORTNAME}_${DISTVERSION} diff --git a/lang/seed7/distinfo b/lang/seed7/distinfo index 3151de1977b8..2b29115809f6 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,2 +1,2 @@ -SHA256 (seed7_05_20140504.tgz) = 7ec3cf3a22d26320a3927d2f7c723c6592eeb1bbd44b91c1babf12b6e6ed72f0 -SIZE (seed7_05_20140504.tgz) = 2091349 +SHA256 (seed7_05_20140518.tgz) = e337edb6d89c054b1b72823c384cb2ecb05042b0629691dfaa21d8c7a515b942 +SIZE (seed7_05_20140518.tgz) = 2094157 |