diff options
| author | Pietro Cerutti <gahr@FreeBSD.org> | 2022-06-07 13:41:43 +0000 |
|---|---|---|
| committer | Pietro Cerutti <gahr@FreeBSD.org> | 2022-06-07 13:42:37 +0000 |
| commit | 8b01ac1cbcfc1ff3b5b312b33ed9feada002bb86 (patch) | |
| tree | 88967851b7b3f5fe4ed18706c74301da2022d433 /lang/seed7 | |
| parent | 52dee6eb58148882bf196643e6b00efb46ba257b (diff) | |
| download | ports-8b01ac1cbcfc1ff3b5b312b33ed9feada002bb86.tar.gz ports-8b01ac1cbcfc1ff3b5b312b33ed9feada002bb86.zip | |
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 1b5b3961dd2e..7dc0e7300107 100644 --- a/lang/seed7/Makefile +++ b/lang/seed7/Makefile @@ -1,7 +1,7 @@ # Created by: gahr PORTNAME= seed7 -DISTVERSION= 05_20220312 +DISTVERSION= 05_20220522 PORTREVISION= 0 CATEGORIES= lang MASTER_SITES= SF/${PORTNAME}/${PORTNAME}/${DISTNAME}/ diff --git a/lang/seed7/distinfo b/lang/seed7/distinfo index 6649070dbe99..f50356d22da9 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1648553811 -SHA256 (seed7_05_20220312.tgz) = c0f9507a11b5ae2b261d14c839f1d0289cb33672aea13735b944c94596830760 -SIZE (seed7_05_20220312.tgz) = 3726447 +TIMESTAMP = 1654596318 +SHA256 (seed7_05_20220522.tgz) = a4483a80770e27edd7b56320297ed2f3b69bd92179cfa750f3c090cba3f9a632 +SIZE (seed7_05_20220522.tgz) = 3754170 |