diff options
| -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 |