diff options
| author | Trevor Johnson <trevor@FreeBSD.org> | 2004-03-09 15:54:15 +0000 |
|---|---|---|
| committer | Trevor Johnson <trevor@FreeBSD.org> | 2004-03-09 15:54:15 +0000 |
| commit | 706fa30af0cf479b65c741ba66c9e4249fca9cf4 (patch) | |
| tree | 6cc5ba40f3346da59a2bd582737fe76d5fe8a773 /devel/spin | |
| parent | a04e5ecd1a96ce0865f4a5db34e3b8326cce2eee (diff) | |
Mark BROKEN due to checksum mismatch. I e-mailed the maintainer
about the problem.
Notes
Notes:
svn path=/head/; revision=103432
Diffstat (limited to 'devel/spin')
| -rw-r--r-- | devel/spin/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devel/spin/Makefile b/devel/spin/Makefile index b230e3f04bd9..71a9a3f3230e 100644 --- a/devel/spin/Makefile +++ b/devel/spin/Makefile @@ -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="" |