summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortrevor <trevor@FreeBSD.org>2004-03-09 15:54:15 +0000
committertrevor <trevor@FreeBSD.org>2004-03-09 15:54:15 +0000
commit17bf2d47d8b907f3c78de84aeb4ac58847055be0 (patch)
tree92a29f9c6af3934a0066fb429d2c06248e5c2596
parent71160d12ad59e24c2561ca34c25426e494c6f27a (diff)
downloadFreeBSD-ports-17bf2d47d8b907f3c78de84aeb4ac58847055be0.zip
FreeBSD-ports-17bf2d47d8b907f3c78de84aeb4ac58847055be0.tar.gz
Mark BROKEN due to checksum mismatch. I e-mailed the maintainer
about the problem.
-rw-r--r--devel/spin/Makefile1
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=""
OpenPOWER on IntegriCloud