diff options
| author | Pietro Cerutti <gahr@FreeBSD.org> | 2023-09-14 12:22:06 +0000 |
|---|---|---|
| committer | Pietro Cerutti <gahr@FreeBSD.org> | 2023-09-14 12:25:07 +0000 |
| commit | 2a089d3a302dbc7cc7d607da7be05dd1363e4095 (patch) | |
| tree | 54eb7d342063eb65501538d9f70481445ccb86ca /lang/seed7 | |
| parent | e734822d17d8a6520da1c4e56a4d66537d41d88b (diff) | |
| download | ports-2a089d3a302dbc7cc7d607da7be05dd1363e4095.tar.gz ports-2a089d3a302dbc7cc7d607da7be05dd1363e4095.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 b2a15bd02923..a9369a539305 100644 --- a/lang/seed7/Makefile +++ b/lang/seed7/Makefile @@ -1,5 +1,5 @@ PORTNAME= seed7 -DISTVERSION= 05_20230709 +DISTVERSION= 05_20230913 PORTREVISION= 0 CATEGORIES= lang MASTER_SITES= SF/${PORTNAME}/${PORTNAME}/${DISTNAME}/ diff --git a/lang/seed7/distinfo b/lang/seed7/distinfo index 9b0850e59bbb..bdfcb2f583ab 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1693303174 -SHA256 (seed7_05_20230709.tgz) = 040b2a94dc9695959635c9ec3b1b8731c2f982b268a0bf8af9a65c2a315a2348 -SIZE (seed7_05_20230709.tgz) = 4037953 +TIMESTAMP = 1694676658 +SHA256 (seed7_05_20230913.tgz) = 1ef01b37cb8e88697e38ce19fa2a4ca720d859b478eb110894501e8082da88e3 +SIZE (seed7_05_20230913.tgz) = 4067250 |