diff options
Diffstat (limited to 'devel/spin/Makefile')
| -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 0388bb315e23..2c3b6f988b56 100644 --- a/devel/spin/Makefile +++ b/devel/spin/Makefile @@ -14,6 +14,7 @@ MASTER_SITES= http://spinroot.com/spin/Src/ \ 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 DIST_SUBDIR= spin WRKSRC= ${WRKDIR}/Src3.5.2 |