diff options
| author | Adriaan de Groot <adridg@FreeBSD.org> | 2023-09-02 10:22:22 +0000 |
|---|---|---|
| committer | Adriaan de Groot <adridg@FreeBSD.org> | 2023-09-02 14:09:35 +0000 |
| commit | 5722805a0290d8c1708e449fd9023de9e9db02ce (patch) | |
| tree | ac132cb574a449a739d62c4c7b91764f1a5f3329 | |
| parent | 4169f8f991118eb2043b11517eecaf50b7cab836 (diff) | |
| download | ports-5722805a0290d8c1708e449fd9023de9e9db02ce.tar.gz ports-5722805a0290d8c1708e449fd9023de9e9db02ce.zip | |
devel/spin: adopt and update port
| -rw-r--r-- | devel/spin/Makefile | 4 | ||||
| -rw-r--r-- | devel/spin/distinfo | 6 |
2 files changed, 5 insertions, 5 deletions
diff --git a/devel/spin/Makefile b/devel/spin/Makefile index ddb65c0c5317..ca3c52e3c65f 100644 --- a/devel/spin/Makefile +++ b/devel/spin/Makefile @@ -1,9 +1,9 @@ PORTNAME= spin -PORTVERSION= 6.5.0 +PORTVERSION= 6.5.2 DISTVERSIONPREFIX= version- CATEGORIES= devel -MAINTAINER= ports@FreeBSD.org +MAINTAINER= adridg@FreeBSD.org COMMENT= On-the-fly verification system for asynchronous concurrent systems WWW= http://spinroot.com diff --git a/devel/spin/distinfo b/devel/spin/distinfo index 5776c2ebbc87..e5b27e3e1c0c 100644 --- a/devel/spin/distinfo +++ b/devel/spin/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1570219065 -SHA256 (nimble-code-Spin-version-6.5.0_GH0.tar.gz) = 7bd764793621940b7e69eef8210c82c75ccee7745f24927f221d228260505333 -SIZE (nimble-code-Spin-version-6.5.0_GH0.tar.gz) = 4360118 +TIMESTAMP = 1693649541 +SHA256 (nimble-code-Spin-version-6.5.2_GH0.tar.gz) = e46a3bd308c4cd213cc466a8aaecfd5cedc02241190f3cb9a1d1b87e5f37080a +SIZE (nimble-code-Spin-version-6.5.2_GH0.tar.gz) = 6084903 |