diff options
author | trevor <trevor@FreeBSD.org> | 2004-03-09 15:54:15 +0000 |
---|---|---|
committer | trevor <trevor@FreeBSD.org> | 2004-03-09 15:54:15 +0000 |
commit | 17bf2d47d8b907f3c78de84aeb4ac58847055be0 (patch) | |
tree | 92a29f9c6af3934a0066fb429d2c06248e5c2596 /devel | |
parent | 71160d12ad59e24c2561ca34c25426e494c6f27a (diff) | |
download | FreeBSD-ports-17bf2d47d8b907f3c78de84aeb4ac58847055be0.zip FreeBSD-ports-17bf2d47d8b907f3c78de84aeb4ac58847055be0.tar.gz |
Mark BROKEN due to checksum mismatch. I e-mailed the maintainer
about the problem.
Diffstat (limited to 'devel')
-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 b230e3f..71a9a3f 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="" |