Date: Sat, 2 Sep 2023 14:09:37 GMT From: Adriaan de Groot <adridg@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 5722805a0290 - main - devel/spin: adopt and update port Message-ID: <202309021409.382E9bis078765@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by adridg: URL: https://cgit.FreeBSD.org/ports/commit/?id=5722805a0290d8c1708e449fd9023de9e9db02ce commit 5722805a0290d8c1708e449fd9023de9e9db02ce Author: Adriaan de Groot <adridg@FreeBSD.org> AuthorDate: 2023-09-02 10:22:22 +0000 Commit: Adriaan de Groot <adridg@FreeBSD.org> CommitDate: 2023-09-02 14:09:35 +0000 devel/spin: adopt and update port --- devel/spin/Makefile | 4 ++-- 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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202309021409.382E9bis078765>