diff options
| author | Akinori MUSHA <knu@FreeBSD.org> | 2003-02-21 11:23:04 +0000 |
|---|---|---|
| committer | Akinori MUSHA <knu@FreeBSD.org> | 2003-02-21 11:23:04 +0000 |
| commit | 65dac0040a45fe190370c7770111d2eba8121645 (patch) | |
| tree | d5bd02634a590bd04d5234209c46630f2a1224b2 /devel/spin | |
| parent | 2e4c764a61a7b9e8f491d97c7cfd745e8e959cab (diff) | |
| download | ports-65dac0040a45fe190370c7770111d2eba8121645.tar.gz ports-65dac0040a45fe190370c7770111d2eba8121645.zip | |
Notes
Diffstat (limited to 'devel/spin')
| -rw-r--r-- | devel/spin/Makefile | 1 | ||||
| -rw-r--r-- | devel/spin/pkg-comment | 1 |
2 files changed, 1 insertions, 1 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 diff --git a/devel/spin/pkg-comment b/devel/spin/pkg-comment deleted file mode 100644 index 3cce122e2137..000000000000 --- a/devel/spin/pkg-comment +++ /dev/null @@ -1 +0,0 @@ -An on-the-fly verification system for asynchronous concurrent systems |