aboutsummaryrefslogtreecommitdiff
path: root/devel/spin
diff options
context:
space:
mode:
authorKris Kennaway <kris@FreeBSD.org>2003-08-07 08:34:31 +0000
committerKris Kennaway <kris@FreeBSD.org>2003-08-07 08:34:31 +0000
commitde56683b06860720e9b9416b469fa196ba9ec89e (patch)
tree2601906165dd00a868f1c1ccbf5ffa741f18fe32 /devel/spin
parent26f2eef22a09300a916d023b299aee123489aefd (diff)
downloadports-de56683b06860720e9b9416b469fa196ba9ec89e.tar.gz
ports-de56683b06860720e9b9416b469fa196ba9ec89e.zip
BROKEN: CHecksum mismatch
Notes
Notes: svn path=/head/; revision=86452
Diffstat (limited to 'devel/spin')
-rw-r--r--devel/spin/Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/devel/spin/Makefile b/devel/spin/Makefile
index 579710f98a1a..e784df02618b 100644
--- a/devel/spin/Makefile
+++ b/devel/spin/Makefile
@@ -16,6 +16,8 @@ DISTFILES= spin${PORTVERSION:S/.//g}.tar.gz html.tar.gz
MAINTAINER= jhanna@shaw.ca
COMMENT= An on-the-fly verification system for asynchronous concurrent systems
+BROKEN= Checksum mismatch
+
DIST_SUBDIR= spin
WRKSRC= ${WRKDIR}/Src${PORTVERSION}
MAKEFILE= make_unix