diff options
| author | Pietro Cerutti <gahr@FreeBSD.org> | 2018-09-10 12:54:57 +0000 |
|---|---|---|
| committer | Pietro Cerutti <gahr@FreeBSD.org> | 2018-09-10 12:54:57 +0000 |
| commit | 34be04994cc04d9197387f53b89844dbcabf2a9d (patch) | |
| tree | 7ee4fc9ec07d0bb0c336f78fffa4fb53ae5d29ae /lang/seed7 | |
| parent | f87e6492334c3328c9b0e51817d131a40fce619c (diff) | |
| download | ports-34be04994cc04d9197387f53b89844dbcabf2a9d.tar.gz ports-34be04994cc04d9197387f53b89844dbcabf2a9d.zip | |
Notes
Diffstat (limited to 'lang/seed7')
| -rw-r--r-- | lang/seed7/Makefile | 2 | ||||
| -rw-r--r-- | lang/seed7/distinfo | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/lang/seed7/Makefile b/lang/seed7/Makefile index 49ea7cf6c2ab..7296248eb990 100644 --- a/lang/seed7/Makefile +++ b/lang/seed7/Makefile @@ -2,7 +2,7 @@ # $FreeBSD$ PORTNAME= seed7 -DISTVERSION= 05_20180708 +DISTVERSION= 05_20180821 CATEGORIES= lang MASTER_SITES= SF/${PORTNAME}/${PORTNAME}/${DISTNAME}/ DISTNAME= ${PORTNAME}_${DISTVERSION} diff --git a/lang/seed7/distinfo b/lang/seed7/distinfo index d5768370ab24..d5f9517f9c2d 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1531742319 -SHA256 (seed7_05_20180708.tgz) = 345cc21c824dee87c44f0dd738c22af78ba4c7b98788db771376b783423392c9 -SIZE (seed7_05_20180708.tgz) = 2816808 +TIMESTAMP = 1536579506 +SHA256 (seed7_05_20180821.tgz) = 73a3d40469df8c1c185273ed873ed9a0091c082b51736c1244c457eee7ebc2da +SIZE (seed7_05_20180821.tgz) = 2820766 |