Mark BROKEN due to checksum mismatch. I e-mailed the maintainer
about the problem.
This commit is contained in:
parent
a04e5ecd1a
commit
706fa30af0
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=103432
1 changed files with 1 additions and 0 deletions
|
@ -15,6 +15,7 @@ DISTNAME= spin${PORTVERSION:S/.//g}
|
|||
MAINTAINER= jhanna@shaw.ca
|
||||
COMMENT= An on-the-fly verification system for asynchronous concurrent systems
|
||||
|
||||
BROKEN= checksum mismatch
|
||||
.if !defined(WITHOUT_XSPIN)
|
||||
RUN_DEPENDS= wish8.4:${PORTSDIR}/x11-toolkits/tk84
|
||||
PLIST_SUB+= XSPIN=""
|
||||
|
|
Loading…
Reference in a new issue