kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

devel/spin: adopt and update port

Browse source
This commit is contained in:
Adriaan de Groot 2023-09-02 12:22:22 +02:00
parent 4169f8f991
commit 5722805a02
2 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
devel/spin/Makefile
View file

@ -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

6
devel/spin/distinfo
View file

@ -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