Skip to content

Commit

Permalink
devel/spin: adopt and update port
Browse files Browse the repository at this point in the history
  • Loading branch information
Adriaan de Groot authored and Adriaan de Groot committed Sep 2, 2023
1 parent 4169f8f commit 5722805
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 5 deletions.
4 changes: 2 additions & 2 deletions 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

Expand Down
6 changes: 3 additions & 3 deletions 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

0 comments on commit 5722805

Please sign in to comment.